From f868e0cea6e5d2c0f72e2408c641164df5f919dd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 24 Nov 2016 07:31:32 +0100
Subject: [PATCH] scc_filter: remove left-over print
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reported by František Blahoudek.

* spot/twaalgos/sccfilter.cc: Remove extra print statement.
* NEWS: Mention it.
---
 NEWS                       | 5 ++++-
 spot/twaalgos/sccfilter.cc | 1 -
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 7c870e1a5..340b218a3 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,9 @@
 New in spot 2.2.1.dev (Not yet released)
 
-  Nothing yet.
+  Bug fixes:
+
+  * scc_filter() had a left-over print statement that would print
+    "names" when copying the name of the states.
 
 New in spot 2.2.1 (2016-11-21)
 
diff --git a/spot/twaalgos/sccfilter.cc b/spot/twaalgos/sccfilter.cc
index 5eabfbc98..d88f44b19 100644
--- a/spot/twaalgos/sccfilter.cc
+++ b/spot/twaalgos/sccfilter.cc
@@ -334,7 +334,6 @@ namespace spot
       if (auto* names =
           aut->get_named_prop<std::vector<std::string>>("state-names"))
         {
-          std::cerr << "names\n";
           unsigned size = names->size();
           if (size > in_n)
             size = in_n;