X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0df12b2ea84d343936a102425a08c2f106fc468..9b8c19c2b3028ebeef9f76f159af56acd5739c6d:/src/msg/instr_msg_process.c

diff --git a/src/msg/instr_msg_process.c b/src/msg/instr_msg_process.c
index 7c6239a41e..2b1a2a4327 100644
--- a/src/msg/instr_msg_process.c
+++ b/src/msg/instr_msg_process.c
@@ -5,7 +5,6 @@
   * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "msg_private.h"
-#include "mc/mc.h"
 
 #include "msg/datatypes.h"
 #include "simix/smx_process_private.h"
@@ -33,9 +32,6 @@ void TRACE_msg_process_change_host(msg_process_t process, msg_host_t old_host, m
   if (TRACE_msg_process_is_enabled()){
     static long long int counter = 0;
 
-    if(MC_is_active())
-      MC_ignore_data_bss(&counter, sizeof(counter));
-
     char key[INSTR_DEFAULT_STR_SIZE];
     snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", counter++);