From bedd96a7bacef8b43f7e1922c9b509f8eca6293c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 30 Dec 2016 09:09:05 +0100
Subject: [PATCH] * spot/twaalgos/isdet.cc: Remove debug statement.

---
 spot/twaalgos/isdet.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/spot/twaalgos/isdet.cc b/spot/twaalgos/isdet.cc
index a63892058..5885351ed 100644
--- a/spot/twaalgos/isdet.cc
+++ b/spot/twaalgos/isdet.cc
@@ -174,7 +174,6 @@ namespace spot
                   if (!bdd_implies(t.cond, available))
                     {
                       semi_det = false;
-                      std::cerr << "Failed on state " << src << '\n';
                       goto done;
                     }
                   else