From f458eba1d7d23cae71d867f8bc08b9fb2eafb15c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 1 Feb 2011 13:12:24 +0100
Subject: [PATCH] * src/tgbatest/ltl2tgba.test: Fix previous test case.

---
 ChangeLog                  | 4 ++++
 src/tgbatest/ltl2tgba.test | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 9eca3324c..e277519ee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.test: Fix previous test case.
+
 2011-01-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fixup minimize_monitor().
diff --git a/src/tgbatest/ltl2tgba.test b/src/tgbatest/ltl2tgba.test
index 682455559..515ec8704 100755
--- a/src/tgbatest/ltl2tgba.test
+++ b/src/tgbatest/ltl2tgba.test
@@ -106,7 +106,7 @@ grep 'transitions: 0$' stdout
 grep 'states: 1$' stdout
 
 # Make sure a monitor for F(a & F(b)) accepts everything.
-run 0 ../ltl2tgba -ks -f "$f" | grep ' ->' > stdout
+run 0 ../ltl2tgba -M -f "F(a & F(b))" | grep ' ->' > stdout
 cat >expected <<EOF
   0 -> 1
   1 -> 1 [label="1\n"]