-
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
* 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.