-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlscan.ll: Recognize }!. Also remove five duplicate rules. * src/ltlparse/ltlparse.yy: Build {r}<>->1 when parsing {r}!. * src/ltlvisit/tostring.cc: Print {r}! instead of {r}<>->1. * src/ltltest/tostring.test, src/ltltest/equals.test: Add more tests.
fdd73d51