diff --git a/ChangeLog b/ChangeLog index 402ccc1bf..64fefb7dd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-11-08 Alexandre Duret-Lutz + * src/tgbaalgos/replayrun.cc (replay_tgba_run): Do not leak + the initial state when no valid outgoing transition is found. + * src/tgbaparse/tgbaparse.yy: Add `%destructor's so the parser does not leak on errors. * src/tgbatest/ltl2tgba.cc: Free the automata if it could not be diff --git a/src/tgbaalgos/replayrun.cc b/src/tgbaalgos/replayrun.cc index c7666f7db..3a1ba09e9 100644 --- a/src/tgbaalgos/replayrun.cc +++ b/src/tgbaalgos/replayrun.cc @@ -166,6 +166,7 @@ namespace spot delete s2; } delete j; + delete s; return false; } os << "transition";