alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/isdet.cc: Remove debug statement.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-12-30 09:09:05 +01:00
parent 4b01387817
commit bedd96a7ba
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/isdet.cc
View file

@ -174,7 +174,6 @@ namespace spot
if (!bdd_implies(t.cond, available)) if (!bdd_implies(t.cond, available))
{ {
semi_det = false; semi_det = false;
std::cerr << "Failed on state " << src << '\n';
goto done; goto done;
} }
else else