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 2a38328a5c
commit 85581d7c3a
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

@ -745,7 +745,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())
{ {