From 034e0e44f1da2a7d0007c58efc426f89cb3627aa Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Apr 2007 08:12:42 +0000 Subject: [PATCH] typo --- ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.