* src/tgbaalgos/replayrun.cc (replay_tgba_run): Fix a memory leak

if debug==false.

ChangeLog

 2004-11-15  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/replayrun.cc (replay_tgba_run): Fix a memory leak
+	if debug==false.
+
 	* src/tgbaalgos/randomgraph.cc (random_graph): Do declare all the
 	acceptance conditions in the produced automaton, in case they are
 	not actually used.

src/tgbaalgos/replayrun.cc

@@ -138,6 +138,10 @@ namespace spot
 
 	// browse the actual outgoing transitions
 	tgba_succ_iterator* j = a->succ_iter(s);
+	// When not debugging, S is not used as key in SEEN, so we can
+	// delete it right now.
+	if (!debug)
+	  delete s;
 	for (j->first(); !j->done(); j->next())
 	  {
 	    if (j->current_condition() != label