-
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