From fdbdb1a4360438b0447b35f9f8642e231d52632f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 6 Jun 2012 10:40:16 +0200
Subject: [PATCH] Fix a memory leak on failure to WDBA-minimize.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* src/tgbaalgos/minimize.cc (minimize_obligation): Delete the powerset
automaton when we return 0 because we know if the result is correct
and don't have the formulae to check it.  Reported by Étienne Renault.
---
 src/tgbaalgos/minimize.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tgbaalgos/minimize.cc b/src/tgbaalgos/minimize.cc
index 9d83a8e1d..f22a14ce1 100644
--- a/src/tgbaalgos/minimize.cc
+++ b/src/tgbaalgos/minimize.cc
@@ -638,6 +638,7 @@ namespace spot
     if (!f && !aut_neg_f)
       {
 	// We do not now if the minimization is safe.
+	delete min_aut_f;
 	return 0;
       }