From ad71da00428cb3f5043fba9893fb390b1a60791f Mon Sep 17 00:00:00 2001
From: martinez <martinez>
Date: Tue, 14 Sep 2004 11:51:56 +0000
Subject: [PATCH] * src/ltltest/reduc.test (FICH): bad file name.

---
 ChangeLog              | 4 ++++
 src/ltltest/reduc.test | 3 +--
 2 files changed, 5 insertions(+), 2 deletions(-)

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