diff --git a/ChangeLog b/ChangeLog
index 7e22af67d..518aad4d1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-12-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc (main): Delete the accepting run
+	even if it hasn't been printed.
+
 2010-11-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Rationalize options for counter-example output.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index cbc2f015c..7da282a96 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1188,9 +1188,9 @@ main(int argc, char** argv)
 				{
 				  spot::print_tgba_run(std::cout, a, run);
 				}
-			      delete run;
 			      tm.stop("printing accepting run");
 			    }
+			  delete run;
                         }
                     }
 		  else