• Alexandre Duret-Lutz's avatar
    bin: factor version display. · 7854f629
    Alexandre Duret-Lutz authored
    * src/bin/common_setup.cc (display_version): New function.
    (setup): Hook the display_version function.
    (argp_program_bug_address): Define this common variable here.
    * src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc,
    src/bin/ltlfilt.cc, src/bin/randltl.cc (argp_program_bug_address,
    argp_program_version): Remove these definitions.
    7854f629