diff --git a/ChangeLog b/ChangeLog
index 746d7452b..22de19bce 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-04-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/ltl2tgba.cc (main): Delete the reduced automaton
+	before the degeneralized automaton.
+
 2005-04-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* doc/Makefile.am (doc, $(srcdir)/stamp): Ignore rm's errors.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index a1272d194..5f8033ec3 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -759,8 +759,8 @@ main(int argc, char** argv)
       delete product_to_free;
       delete system;
       delete expl;
-      delete degeneralized;
       delete aut_red;
+      delete degeneralized;
       delete to_free;
       delete echeck_inst;
     }