From 4ed153a2472db844303ab8778c7b1c35d3ef427c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 18 Sep 2012 16:04:48 +0200
Subject: [PATCH] * src/bin/ltl2tgba.cc: Fix display of BA.

---
 src/bin/ltl2tgba.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/bin/ltl2tgba.cc b/src/bin/ltl2tgba.cc
index 08668a28f..1fa15ccf9 100644
--- a/src/bin/ltl2tgba.cc
+++ b/src/bin/ltl2tgba.cc
@@ -122,7 +122,6 @@ spot::postprocessor::output_pref pref = spot::postprocessor::Small;
 spot::postprocessor::optimization_level level = spot::postprocessor::High;
 enum output_format { Dot, Lbtt, Spin, Spot } format = Dot;
 
-
 static int
 parse_opt(int key, char* arg, struct argp_state*)
 {
@@ -235,7 +234,7 @@ namespace
       switch (format)
 	{
 	case Dot:
-	  spot::dotty_reachable(std::cout, aut);
+	  spot::dotty_reachable(std::cout, aut, type == spot::postprocessor::BA);
 	  break;
 	case Lbtt:
 	  spot::lbtt_reachable(std::cout, aut);