diff --git a/ChangeLog b/ChangeLog
index 401fc6ad3..c41ffa4e9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,6 @@
 2004-06-17  Thomas Martinez  <martinez@src.lip6.fr>
 
-	* src/ltltest/reduccmp.test: Wrong test are removed.
+	* src/tgbatest/reductgba.test, src/ltltest/reduccmp.test: Wrong test are removed.
 
 2004-06-17  Thomas Martinez  <martinez@src.lip6.fr>
 
diff --git a/src/tgbatest/reductgba.test b/src/tgbatest/reductgba.test
index c0d33b317..153ffe97d 100755
--- a/src/tgbatest/reductgba.test
+++ b/src/tgbatest/reductgba.test
@@ -34,9 +34,6 @@ check()
 # trigger assertions.
 
 # No reduction
-check 0 'Fa & Xb & GFc & Gd'
-check 0 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
-
 check 1 a
 check 1 'a U b'
 check 1 'X a'
@@ -58,6 +55,9 @@ check 1 'a U Fb'
 #check 0 'a U b'
 #check 0 'a U Fb'
 
+#check 0 'Fa & Xb & GFc & Gd'
+#check 0 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
+
 #check 3 a
 #check 3 'a U b'
 #check 3 'a U Fb'