alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/bin/ltlcross.cc: Use dstar_to_tgba().

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-08-17 14:37:32 +02:00
parent d7027c34d3
commit d561dfb7e0
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/bin/ltlcross.cc
View file

@ -787,11 +787,11 @@ namespace
delete aut; delete aut;
res = 0; res = 0;
} }
if (aut->type == spot::Rabin)
res = spot::nra_to_nba(aut);
else else
res = spot::nsa_to_tgba(aut); {
res = dstar_to_tgba(aut);
delete aut; delete aut;
}
break; break;
} }
case printable_result_filename::None: case printable_result_filename::None: