• Alexandre Duret-Lutz's avatar
    ltlfilt, genltl: factor the common output options. · e0873cc7
    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