• Alexandre Duret-Lutz's avatar
    simplify: remove an incorrect simplification rule · d741d926
    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