#include "config.h"
#endif /* HAVE_CONFIG_H */
+#include "firm_config.h"
+
#ifdef WITH_ILP
#include "becopyilp_t.h"
} my_env_t;
-int co_solve_ilp1(copy_opt_t *co, double time_limit) {
+int co_solve_ilp1(copy_opt_t *co, double time_limit)
+{
+ (void) co;
+ (void) time_limit;
return 1;
}