-
Alexandre Duret-Lutz authored
* src/bin/common_output.cc, src/bin/common_output.hh: New file with the common output code. * src/bin/Makefile.am: Add them. * src/bin/genltl.cc, src/bin/ltlfilt.cc: Simplify, using argp's children parser, and calling output_formula().
e0873cc7