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

dstar2tgba: remove some useless call

Browse source 
* bin/dstar2tgba.cc: Do not call to_generalized_buchi(), it's
already done in postproc.
This commit is contained in:
Alexandre Duret-Lutz 2017-11-10 22:09:37 +01:00
parent 42a94c4dbe
commit 230801c420
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
bin/dstar2tgba.cc
View file

@ -124,8 +124,7 @@ namespace
{
spot::process_timer timer;
timer.start();
auto nba = spot::to_generalized_buchi(haut->aut);
auto aut = post.run(nba, nullptr);
auto aut = post.run(haut->aut, nullptr);
timer.stop();
printer.print(aut, timer, nullptr, haut->filename.c_str(), -1, haut);
flush_cout();