-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy: Keep the left operand of binary operator, if the right one is erroneous. Also keep the sane beginning of parenthesized blocks. * src/ltltest/parseerr.test: Adjust test cases. * NEWS: Mention it.
0c1fec12
To find the state of this project's repository at the time of any of these versions, check out the tags.