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

ikwiad: fix accepting run printing

Browse source 
* tests/core/ikwiad.cc: here.
This commit is contained in:
Etienne Renault 2017-06-07 17:05:25 +02:00
parent 0e039a36b1
commit 4de44b42de
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/core/ikwiad.cc
View file

@ -1531,7 +1531,7 @@ checked_main(int argc, char** argv)
if (graph_run_tgba_opt) if (graph_run_tgba_opt)
spot::print_dot(std::cout, run->as_twa()); spot::print_dot(std::cout, run->as_twa());
else else
std::cout << run; std::cout << *run;
tm.stop("printing accepting run"); tm.stop("printing accepting run");
} }
} }