-
Alexandre Duret-Lutz authored
Fixes #185. * spot/tl/simplify.cc: Implement the new rule. * NEWS, doc/tl/tl.tex: Document it. * tests/core/reduccmp.test: Test it.
6528d753
Fixes #185. * spot/tl/simplify.cc: Implement the new rule. * NEWS, doc/tl/tl.tex: Document it. * tests/core/reduccmp.test: Test it.