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

* spot/twa/twagraph.cc: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-05-01 13:28:27 +02:00
parent f5bfc07cfc
commit 7531c88671
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/twagraph.cc
View file

@ -297,7 +297,7 @@ namespace spot
for (auto& e: g_.edges()) for (auto& e: g_.edges())
{ {
all = bdd_exist(all, bdd_support(e.cond)); all = bdd_exist(all, bdd_support(e.cond));
if (all == bddtrue) // All letters are used. if (all == bddtrue) // All APs are used.
return; return;
} }
auto d = get_dict(); auto d = get_dict();