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

* src/bin/ltlfilt.cc: Destroy equivalent_to, implied_by, and imply.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-04-05 18:50:32 +02:00
parent 2e7711a322
commit 35e16a0b9a
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/bin/ltlfilt.cc
View file

@ -354,6 +354,13 @@ namespace
fset_t::iterator i = unique_set.begin(); fset_t::iterator i = unique_set.begin();
while (i != unique_set.end()) while (i != unique_set.end())
(*i++)->destroy(); (*i++)->destroy();
if (equivalent_to)
equivalent_to->destroy();
if (implied_by)
implied_by->destroy();
if (imply)
imply->destroy();
} }
ltl_processor(spot::ltl::ltl_simplifier& simpl) ltl_processor(spot::ltl::ltl_simplifier& simpl)