model-checker : extend MC_ignore mechanism for global variables in libsimgrid

[simgrid.git] / src / simix / smx_context_raw.c

diff --git a/src/simix/smx_context_raw.c b/src/simix/smx_context_raw.c
index 2b94104..c78a6f8 100644 (file)
--- a/src/simix/smx_context_raw.c
+++ b/src/simix/smx_context_raw.c
@@ -228,11 +228,6 @@ static void smx_ctx_raw_runall(void);
 void SIMIX_ctx_raw_factory_init(smx_context_factory_t *factory)
 {
 
-  if(MC_IS_ENABLED && mmalloc_ignore == NULL){
-    /* Create list of elements to ignore for heap comparison algorithm */
-    MC_ignore_init();
-  }
-
   XBT_VERB("Using raw contexts. Because the glibc is just not good enough for us.");
   smx_ctx_base_factory_init(factory);