From 84e72c876444f1473d55fc16f7bf523ae6afee63 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 17 Jun 2004 09:07:36 +0000
Subject: [PATCH] * iface/gspn/ssp.cc (emptiness_check_shy_ssp::find_state):
 Free s. This fixes a memory leak observed by Soheib Baarir.

---
 ChangeLog         | 5 +++++
 iface/gspn/ssp.cc | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 6f08399bf..6756e5a6a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-06-17  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ssp.cc (emptiness_check_shy_ssp::find_state): Free s.
+	This fixes a memory leak observed by Soheib Baarir.
+
 2004-06-16  Thomas Martinez  <martinez@src.lip6.fr>
 
 	* src/tgbatest/reductgba.cc, src/tgbatest/reductgba.test: Test for
diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc
index 9b75f5d95..81d820916 100644
--- a/iface/gspn/ssp.cc
+++ b/iface/gspn/ssp.cc
@@ -966,6 +966,8 @@ namespace spot
 	}
       if (i == h.end())
 	return 0;
+      if (i->first != s)
+	delete s;
       return &i->second;
     }
   };