* iface/gspn/ssp.cc (emptiness_check_shy_ssp::find_state): Free s.

This fixes a memory leak observed by Soheib Baarir.

ChangeLog

+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

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