-
Alexandre Duret-Lutz authored
* src/ltlparse/parsedecl.hh (YY_DECL): Rename yylex to ltlyylex. * src/ltlparse/ltlparse.yy: Define yylex as ltlyylex.
3fb593e5
To find the state of this project's repository at the time of any of these versions, check out the tags.