Commit 1e19aa3a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean

really stop it!
parent b796bb3d
2009-11-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean
really stop it!
2009-11-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Detect running timers, and stop a timer in ltl2tgba.
......
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment