diff --git a/ChangeLog b/ChangeLog index 6811eabe3..c9da727ea 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2003-06-05 Alexandre Duret-Lutz + * src/ltlparse/ltlparse.yy: Typo in comment. + * configure.ac: Output src/tgbatest/Makefile and src/tgbatest/defs. * src/Makefile.am (SUBDIRS): Add tgbatest. * src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc: New file. diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy index e7af364a2..9c6391870 100644 --- a/src/ltlparse/ltlparse.yy +++ b/src/ltlparse/ltlparse.yy @@ -19,7 +19,7 @@ } %{ -/* Spotparse.hh and parsedecl.hh include each other recursively. +/* ltlparse.hh and parsedecl.hh include each other recursively. We mut ensure that YYSTYPE is declared (by the above %union) before parsedecl.hh uses it. */ #include "parsedecl.hh"