diff --git a/ChangeLog b/ChangeLog index 86f1b5860..159a12ca9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -4,7 +4,7 @@ * src/ltlparse/parsedecl.hh (YY_DECL): Rename yylex to ltlyylex. * src/ltlparse/ltlparse.yy: Define yylex as ltlyylex. -2003-06-03 Alexandre Duret-Lutz +2003-06-03 Alexandre Duret-Lutz * src/tgba/dictunion.cc, src/tgba/ltl2tgba.cc, src/tgba/succiterconcrete.cc, src/tgba/tgbabddconcrete.cc,