From 1e19aa3a5f61363bd68a53f56f2d50d189d6b38c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 25 Nov 2009 18:06:46 +0100 Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean really stop it! --- ChangeLog | 5 +++++ src/tgbatest/ltl2tgba.cc | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index b0b1f8ee0..4053af0f6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-11-25 Alexandre Duret-Lutz + + * src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean + really stop it! + 2009-11-24 Alexandre Duret-Lutz Detect running timers, and stop a timer in ltl2tgba. diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc index d7c5340df..a94f020ae 100644 --- a/src/tgbatest/ltl2tgba.cc +++ b/src/tgbatest/ltl2tgba.cc @@ -724,7 +724,7 @@ main(int argc, char** argv) { tm.start("reducing A_f w/ SCC"); a = aut_scc = spot::scc_filter(a); - tm.start("reducing A_f w/ SCC"); + tm.stop("reducing A_f w/ SCC"); } if (reduc_aut & !spot::Reduce_Scc)