From 3ffba1c9881070847c4407af4e3e4d84628e4ad0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 21 Jun 2007 12:50:07 +0000
Subject: [PATCH] * src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q
 -R2t.

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

diff --git a/ChangeLog b/ChangeLog
index 6af4cf331..9cfd4f1ab 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-06-20  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t.
+
 2007-04-30  Alexandre Duret-Lutz  <adl@gnu.org>
 
 	* src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t.
diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test
index aabedc303..f3ee01173 100755
--- a/src/tgbatest/spotlbtt.test
+++ b/src/tgbatest/spotlbtt.test
@@ -163,7 +163,7 @@ Algorithm
    Name = "Spot (Couvreur -- FM), pre + allpost reduction"
    Path = "${LBTT_TRANSLATE}"
    Parameters = "--spot './ltl2tgba -r4 -R1q -R1t -R2q -R2t -R3 -F -f -t'"
-   Enabled = yes
+   Enabled = no
 }
 
 Algorithm