-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy: Simplify error handling now that Bison will call destructors. Give each operator a full name, so that Bison uses it in error messages.
a87c9d3d
To find the state of this project's repository at the time of any of these versions, check out the tags.