20 #ifndef SPOT_BIN_COMMON_POST_HH
21 #define SPOT_BIN_COMMON_POST_HH
23 #include "common_sys.hh"
24 #include "tgbaalgos/postproc.hh"
27 extern const struct argp post_argp;
29 extern spot::postprocessor::output_type type;
30 extern spot::postprocessor::output_pref pref;
31 extern spot::postprocessor::output_pref comp;
32 extern spot::postprocessor::optimization_level level;
34 #endif // SPOT_BIN_COMMON_FINPUT_HH