• Alexandre Duret-Lutz's avatar
    Get rid of bunop::Equal and bunop::Goto. · abaf1027
    Alexandre Duret-Lutz authored
    * src/ltlast/bunop.hh, src/ltlast/bunop.cc, src/ltlvisit/randomltl.cc,
    src/ltlvisit/simplify.cc, src/ltlvisit/tostring.cc,
    src/tgbaalgos/ltl2tgba_fm.cc: Remove all traces of these two
    operators since they are not handled like sugar.
    * doc/tl/tl.tex: Adjust documentation to reflect the fact that these
    two operators are sugar.
    abaf1027