/* Define to 1 if Firm hooks are activated */
#define FIRM_ENABLE_HOOKS
+/* Define to 1 if Firm hooks are activated */
+#define FIRM_ENABLE_HOOKS
+
+/* Define to 1 if Firm inplace edges are activated */
+#define FIRM_EDGES_INPLACE 1
+
/* Define the right volatile token */
/* #undef volatile */
#define FIRM_ENABLE_HOOKS 1
#endif
+/* Define to 1 if Firm inplace edges are activated */
+#ifndef FIRM_EDGES_INPLACE
+#define FIRM_EDGES_INPLACE 1
+#endif
+
#ifdef USE_INLINING
#ifndef INLINE
#define INLINE __inline