diff --git a/ChangeLog b/ChangeLog
index 7c51cdaf7..4e89fefe8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* iface/dve2/dve2check.cc: Remove stray debug output.
+
 2011-03-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgba/tgbaproduct.hh: Do not include statebdd.hh.
diff --git a/iface/dve2/dve2check.cc b/iface/dve2/dve2check.cc
index 20531af6f..555c356a9 100644
--- a/iface/dve2/dve2check.cc
+++ b/iface/dve2/dve2check.cc
@@ -156,7 +156,6 @@ main(int argc, char **argv)
   if (dead == 0 || !strcasecmp(dead, "true"))
     {
       deadf = spot::ltl::constant::true_instance();
-      std::cerr << "true" << std::endl;
     }
   else if (!strcasecmp(dead, "false"))
     {