* src/tgbatest/ltl2tgba.cc (main): Delete the accepting run

even if it hasn't been printed.

ChangeLog

+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.

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