Commit 30652ba3 authored by martinez's avatar martinez
Browse files

* src/tgbatest/ltl2tgba.cc (main): Thinko.

parent 9db2b314
2004-05-14 Thomas Martinez <martinez@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc (main): Thinko.
* src/ltlvisit/basereduc.cc (spot): Correct some mistakes.
* src/ltlvisit/lunabbrev.cc (spot): Nothing change.
* src/tgbatest/ltl2tgba.cc (main): More option to reduce
......
......@@ -281,10 +281,6 @@ main(int argc, char** argv)
{
reduc_r4 = true;
}
else if (!strcmp(argv[formula_index], "-rd"))
{
reduc_rd = true;
}
else
{
break;
......@@ -372,9 +368,10 @@ main(int argc, char** argv)
else
to_free = a = concrete = spot::ltl_to_tgba_lacim(f, dict);
if (reduc_r1 || reduc_r2 || reduc_r3 || reduc_r4) {
spot::ltl::destroy(ftmp);
}
if (reduc_r1 || reduc_r2 || reduc_r3 || reduc_r4)
{
spot::ltl::destroy(ftmp);
}
}
spot::tgba_tba_proxy* degeneralized = 0;
......
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