-
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