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

* src/bin/ltl2tgba.cc: Fix display of BA.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-18 16:04:48 +02:00
parent 10189b2d61
commit 4ed153a247
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/bin/ltl2tgba.cc
View file

@ -122,7 +122,6 @@ spot::postprocessor::output_pref pref = spot::postprocessor::Small;
spot::postprocessor::optimization_level level = spot::postprocessor::High; spot::postprocessor::optimization_level level = spot::postprocessor::High;
enum output_format { Dot, Lbtt, Spin, Spot } format = Dot; enum output_format { Dot, Lbtt, Spin, Spot } format = Dot;
static int static int
parse_opt(int key, char* arg, struct argp_state*) parse_opt(int key, char* arg, struct argp_state*)
{ {
@ -235,7 +234,7 @@ namespace
switch (format) switch (format)
{ {
case Dot: case Dot:
spot::dotty_reachable(std::cout, aut); spot::dotty_reachable(std::cout, aut, type == spot::postprocessor::BA);
break; break;
case Lbtt: case Lbtt:
spot::lbtt_reachable(std::cout, aut); spot::lbtt_reachable(std::cout, aut);