-
Alexandre Duret-Lutz authored
* src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc: Destroy the translated formulas. * src/bin/ltlcheck.cc, src/bin/ltlfilt.cc: Free the unicity table on exit.
d9ceb4ad
* src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc: Destroy the translated formulas. * src/bin/ltlcheck.cc, src/bin/ltlfilt.cc: Free the unicity table on exit.