-
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