diff --git a/ChangeLog b/ChangeLog
index df16bb16a..de3b0706e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-11-21  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/misc/minato.cc: Include cassert.
+
 	* src/misc/minato.cc, src/misc/minato.hh: New files.
 	* src/misc/Makefile.am (misc_HEADERS, libmisc_la_SOURCES): Add them.
 	* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Use minato_isop.
diff --git a/src/misc/minato.cc b/src/misc/minato.cc
index a532765d2..0cb7f11ab 100644
--- a/src/misc/minato.cc
+++ b/src/misc/minato.cc
@@ -1,5 +1,6 @@
 #include "minato.hh"
 #include <utility>
+#include <cassert>
 
 namespace spot
 {