diff --git a/ChangeLog b/ChangeLog
index 3bef9c1d6..80c7102ec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
-2004-11-25  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+2004-12-07  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/misc/timer.cc: Do not include cassert, then.
+
+2004-12-07  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgbaalgos/tau03opt.cc: Fix a memory leak in the computation of
 	accepting runs
diff --git a/src/misc/timer.cc b/src/misc/timer.cc
index ae75fd7ea..a3b4566c7 100644
--- a/src/misc/timer.cc
+++ b/src/misc/timer.cc
@@ -22,7 +22,6 @@
 #include "timer.hh"
 #include <iostream>
 #include <iomanip>
-#include <cassert>
 
 namespace spot
 {