From dd5a8208633e917a9a006d37255cde8895ef001c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 27 Feb 2017 22:27:47 +0100
Subject: [PATCH] * spot/priv/satcommon.cc: Fix include.

---
 spot/priv/satcommon.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/spot/priv/satcommon.cc b/spot/priv/satcommon.cc
index 9af7d887b..999086616 100644
--- a/spot/priv/satcommon.cc
+++ b/spot/priv/satcommon.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
-// Développement de l'Epita.
+// Copyright (C) 2013-2017 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -20,7 +20,7 @@
 
 #include <fstream>
 #include <set>
-#include <assert.h>
+#include <cassert>
 #include <spot/misc/escape.hh>
 #include <spot/priv/satcommon.hh>
 #include <spot/twa/bddprint.hh>