• Alexandre Duret-Lutz's avatar
    bin: use enums instead of #define for option codes · 86584418
    Alexandre Duret-Lutz authored
    * src/bin/autfilt.cc, src/bin/common_aoutput.cc,
    src/bin/common_finput.cc, src/bin/common_output.cc,
    src/bin/common_post.cc, src/bin/common_setup.cc,
    src/bin/common_trans.cc, src/bin/dstar2tgba.cc, src/bin/genltl.cc,
    src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc, src/bin/ltlcross.cc,
    src/bin/ltlfilt.cc, src/bin/ltlgrind.cc, src/bin/randaut.cc,
    src/bin/randltl.cc: Here.
    86584418