* src/ltltest/reduc.test (FICH): bad file name.

ad71da00 · martinez · 0e5ca8a5 · ad71da00 · ad71da00
Commit ad71da00 authored Sep 14, 2004 by martinez
--- a/ChangeLog
+++ b/ChangeLog
+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:

--- 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