From ea04df6971b437512a1ccb0fa166a795d7310125 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 9 Jul 2003 11:43:04 +0000
Subject: [PATCH] * src/tgbaalgos/lbtt.cc (lbtt_reachable): Do not end
 transitions guards with -1 in output.

---
 ChangeLog             | 5 +++++
 src/tgbaalgos/lbtt.cc | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 029220d0f..9ab74fb0e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-09  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgbaalgos/lbtt.cc (lbtt_reachable): Do not end transitions
+	guards with -1 in output.
+
 2003-07-08  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgbatest/ltl2tgba.cc: Add option -t to output the LBTT automata.
diff --git a/src/tgbaalgos/lbtt.cc b/src/tgbaalgos/lbtt.cc
index 5ff4b9024..014302e30 100644
--- a/src/tgbaalgos/lbtt.cc
+++ b/src/tgbaalgos/lbtt.cc
@@ -203,7 +203,7 @@ namespace spot
 	    std::string s = bdd_to_lbtt(si->current_condition(), d);
 	    for (unsigned i = destrange.first; i < destrange.second; ++i)
 	      {
-		body << i << " " << s << " " << "-1" << std::endl;
+		body << i << " " << s << std::endl;
 	      }
 	  }
 	body << "-1" << std::endl;