-
Alexandre Duret-Lutz authored
* src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh: Do not pass the formula. Use the automaton name instead. * src/tgbatest/ltl2tgba.cc: Adjust.
892fb11f
* src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh: Do not pass the formula. Use the automaton name instead. * src/tgbatest/ltl2tgba.cc: Adjust.