Commit e2b0b9d9 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

scc_filter: remove left-over print

Reported by František Blahoudek.

* spot/twaalgos/sccfilter.cc: Remove extra print statement.
* NEWS: Mention it.
parent fd2f7920
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)
......
......@@ -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;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment