-
Alexandre Duret-Lutz authored
* src/bin/common_finput.cc, src/bin/common_finput.hh: Define the processor class. * src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc, src/bin/ltlfilt.cc: Simplify accordingly.
ecca4ba5
* src/bin/common_finput.cc, src/bin/common_finput.hh: Define the processor class. * src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc, src/bin/ltlfilt.cc: Simplify accordingly.