diff --git a/ChangeLog b/ChangeLog index cb436d299..3df1565b1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-10-14 Alexandre Duret-Lutz + + * src/tgbatest/explicit.test: Typo. + 2004-10-13 Alexandre Duret-Lutz The computation of the counter example fails the valgrind tests diff --git a/src/tgbatest/explicit.test b/src/tgbatest/explicit.test index 76a06cc80..6e5fe9db0 100755 --- a/src/tgbatest/explicit.test +++ b/src/tgbatest/explicit.test @@ -27,7 +27,7 @@ set -e run 0 ./explicit > stdout -perl -pe 's/c & b/b & c/g' stdout +perl -pi -e 's/c & b/b & c/g' stdout cat >expected <