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;
     }
   };