From 2a2c630bfa033bb8c8341d79f7c3f62896c5d6b0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 14 Oct 2004 12:21:48 +0000 Subject: [PATCH] * src/tgbatest/explicit.test: Typo. --- ChangeLog | 4 ++++ src/tgbatest/explicit.test | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) 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 <