• Alexandre Duret-Lutz's avatar
    Fix multiple inclusions of config.h. · 26deb56a
    Alexandre Duret-Lutz authored
    * src/bin/common_sys.hh: New file.
    * src/bin/Makefile.am: Add it.
    * src/bin/common_output.hh, src/bin/common_r.cc,
    src/bin/common_range.cc, src/bin/genltl.cc, src/bin/ltlfilt.cc,
    src/bin/randltl.cc: Include common_sys.hh instead of config.h.
    26deb56a