From 1a50ae3bf8feb776d07b39d209e5c37ef550c4f4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 2 May 2012 12:06:23 +0200
Subject: [PATCH] * src/ltlvisit/simplify.cc: Add missing call to
 recurse_destroy().

---
 src/ltlvisit/simplify.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc
index 46aeb7d62..d3fa5d077 100644
--- a/src/ltlvisit/simplify.cc
+++ b/src/ltlvisit/simplify.cc
@@ -1826,7 +1826,7 @@ namespace spot
 		  if (c_->implication_neg(b, a, true))
 		    {
 		      a->destroy();
-		      result_ = unop::instance(unop::G, b);
+		      result_ = recurse_destroy(unop::instance(unop::G, b));
 		      return;
 		    }
 		  if (b->kind() == formula::BinOp)