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

* src/ltlvisit/simplify.cc: Add missing call to recurse_destroy().

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-05-02 12:06:23 +02:00
parent 4a9bbbafe2
commit 1a50ae3bf8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/simplify.cc
View file

@ -1826,7 +1826,7 @@ namespace spot
if (c_->implication_neg(b, a, true)) if (c_->implication_neg(b, a, true))
{ {
a->destroy(); a->destroy();
result_ = unop::instance(unop::G, b); result_ = recurse_destroy(unop::instance(unop::G, b));
return; return;
} }
if (b->kind() == formula::BinOp) if (b->kind() == formula::BinOp)