From 487c4ac48cf096f55f2e732420b6ab8ea48288ca Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 1 Dec 2010 08:38:47 +0100
Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Delete the accepting run
 even if it hasn't been printed.

---
 ChangeLog                | 5 +++++
 src/tgbatest/ltl2tgba.cc | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

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