From 33732493fe60101d511016709045eba7207f22c3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 30 Mar 2011 15:43:28 +0200
Subject: [PATCH] * iface/dve2/dve2check.cc: Remove stray debug output.

---
 ChangeLog               | 4 ++++
 iface/dve2/dve2check.cc | 1 -
 2 files changed, 4 insertions(+), 1 deletion(-)

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"))
     {