model-checker : move creation of initial_state_liveness in MC_init_liveness

[simgrid.git] / src / mc / mc_memory.c

diff --git a/src/mc/mc_memory.c b/src/mc/mc_memory.c
index 1950729fccb974f3c03cb215603a9ce97d99e844..f275b3a036bf0cdb41a5af5fe14973ed27d1477f 100644 (file)
--- a/src/mc/mc_memory.c
+++ b/src/mc/mc_memory.c
@@ -8,9 +8,6 @@
 #include "mc/mc.h"
 #include "mc_private.h"
 #include "xbt/log.h"
-#define _GNU_SOURCE
-
-
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory, mc,
                                 "Logging specific to MC (memory)");