-
Alexandre Duret-Lutz authored
* src/bin/common_setup.cc, src/bin/common_setup.hh: New files. * src/bin/Makefile.am: Add them. * src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc, src/bin/ltlfilt.cc, src/bin/randltl.cc: Adjust.
489f719d
* src/bin/common_setup.cc, src/bin/common_setup.hh: New files. * src/bin/Makefile.am: Add them. * src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc, src/bin/ltlfilt.cc, src/bin/randltl.cc: Adjust.