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

* spot/twa/twagraph.cc (remove_unused_ap): Remove unused variable.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-04-15 16:02:39 +02:00
parent 7ef69fa15b
commit caca8728fe
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twa/twagraph.cc
View file

@ -709,7 +709,6 @@ namespace spot
{ {
if (ap().empty()) if (ap().empty())
return; return;
std::set<bdd> conds;
bdd all = ap_vars(); bdd all = ap_vars();
for (auto& e: g_.edges()) for (auto& e: g_.edges())
{ {