diff --git a/ChangeLog b/ChangeLog index f249196ad..6af4cf331 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,6 @@ 2007-04-30 Alexandre Duret-Lutz - * src/tgbatest/ltl2tgba.cc (main): Fix handing of -R1q -R1t -R2q -R2t. + * src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t. Add support for -r8/-fr8. * src/tgbatest/spotlbtt.test: Also check -R1q -R1t -R2q -R2t.