-
Alexandre Duret-Lutz authored
* src/ltlvisit/basicreduce.cc (basic_reduce_visitor::recurse): Disable this rule unconditionally. * src/ltltest/reduccmp.test: Adjust tests.
3cf2ddbc
To find the state of this project's repository at the time of any of these versions, check out the tags.