From 35e16a0b9a72382cd211eabd51afe196d27cdeaf Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 5 Apr 2013 18:50:32 +0200
Subject: [PATCH] * src/bin/ltlfilt.cc: Destroy equivalent_to, implied_by, and
 imply.

---
 src/bin/ltlfilt.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/bin/ltlfilt.cc b/src/bin/ltlfilt.cc
index 1026715e4..0a789148c 100644
--- a/src/bin/ltlfilt.cc
+++ b/src/bin/ltlfilt.cc
@@ -354,6 +354,13 @@ namespace
       fset_t::iterator i = unique_set.begin();
       while (i != unique_set.end())
 	(*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)