Commit f868e0ce 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/ Remove extra print statement.
* NEWS: Mention it.
parent e1d0c07d
New in spot (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 =
std::cerr << "names\n";
unsigned size = names->size();
if (size > in_n)
size = in_n;
Supports Markdown
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