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