-
Alexandre Duret-Lutz authored
Fortunately was only enabled with the ltl_simplifier_options::favor_event_univ option, which cannot yet be turned on from the command-line tools. * src/ltlvisit/simplify.cc, doc/tl/tl.tex: Remove the rule. * src/ltltest/eventuniv.test: Adjust. * NEWS: Mention the bug.
d741d926