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)