diff --git a/ChangeLog b/ChangeLog
index d42f6bf44..45ac13228 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-09-14  Thomas Martinez  <martinez@src.lip6.fr>
+
+	* src/ltltest/reduc.test (FICH): bad file name.
+
 2004-09-13  Thomas Martinez  <martinez@src.lip6.fr>
 
 	* src/tgbaalgos/nesteddfsgen.hh src/tgbaalgos/nesteddfsgen.cc:
diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test
index 40aff093c..9932a219c 100755
--- a/src/ltltest/reduc.test
+++ b/src/ltltest/reduc.test
@@ -26,8 +26,7 @@
 
 set -e
 
-#FICH=${1-$srcdir/formulae.txt}
-FICH=${1-$srcdir/formules3.ltl}
+FICH=${1-$srcdir/formulae.txt}
 
 for opt in 0 1 2 3; do
   rm -f result.data