-
Alexandre Duret-Lutz authored
"1 U (a | Fb)" was not always reduced to "F(a | b)". Fixes #143. * spot/tl/simplify.cc: Add the missing recurse() call. * tests/core/reduc0.test: Add a test. * NEWS: Mention the bug.
fbdd1465
To find the state of this project's repository at the time of any of these versions, check out the tags.