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>("state-names")) { - std::cerr << "names\n"; unsigned size = names->size(); if (size > in_n) size = in_n;