/* define to 1 to use the libcore */
#define WITH_LIBCORE 1
+/* define to 1 to use the ILP solver */
+#undef WITH_ILP
+
/* define to 1 to have wchar_t support for identifiers */
#define FIRM_ENABLE_WCHAR 1
/* Define to 1 if Firm hooks are activated */
#define FIRM_ENABLE_HOOKS 1
-/* Define to 1 if Firm inplace edges are activated */
-#define FIRM_EDGES_INPLACE 1
-
/* Define the right volatile token */
/* #undef volatile */