• Alexandre Duret-Lutz's avatar
    Mark reduce_tau03() as deprecated. · b89f86ed
    Alexandre Duret-Lutz authored
    * src/ltlvisit/contain.hh (reduce_tau03): Mark as deprecated.
    * src/tgbaalgos/ltl2tgba_fm.cc, src/tgbatest/ltl2tgba.cc,
    src/ltltest/equals.cc: Do not include ltlvisit/contain.hh, since
    it's not used.
    b89f86ed
ltl2tgba.cc 37.2 KB