-
Alexandre Duret-Lutz authored
* src/ltlast/unop.cc, src/ltlast/unop.hh src/ltlvisit/lbt.cc, src/ltlvisit/mark.cc, src/ltlvisit/simplify.cc, src/ltlvisit/tostring.cc, src/ltlvisit/tunabbrev.cc, src/tgba/formula2bdd.cc, src/tgbaalgos/ltl2tgba_fm.cc: Remove Finish. * src/tgbaalgos/ltl2taa.cc: Remove Finish, and simply use an empty destination to code the sink.
a0d9268f