diff --git a/ChangeLog b/ChangeLog index dd1387e1a..79a8a1b7b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-08-10 Alexandre Duret-Lutz + * src/tgbatest/tgbaread.test, src/tgbatest/explicit.test: + Adjust expected output after 2003-08-07's change. + * src/tgba/bdddict.hh: Typo in comments. * src/ltlenv/environment.hh: Typo in comments. diff --git a/src/tgbatest/explicit.test b/src/tgbatest/explicit.test index 8689d9d47..487f1374b 100755 --- a/src/tgbatest/explicit.test +++ b/src/tgbatest/explicit.test @@ -8,8 +8,7 @@ set -e cat >expected < 1 1 [label="state 0"] 1 -> 2 [label="T\n"] diff --git a/src/tgbatest/tgbaread.test b/src/tgbatest/tgbaread.test index 62c92c09f..e29b31234 100755 --- a/src/tgbatest/tgbaread.test +++ b/src/tgbatest/tgbaread.test @@ -15,8 +15,7 @@ EOF cat >expected < 1 1 [label="s1"] 1 -> 2 [label="\n"]