[mc] Make s_mc_snapshot_stack::context not a pointer

[simgrid.git] / src / mc / mc_client_api.cpp

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 179033b..f4bed1b 100644 (file)
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -62,11 +62,6 @@ void MC_ignore(void* addr, size_t size)
     message.size = size;
     MC_client_send_message(&message, sizeof(message));
   }
-
-  // TODO, remove this once the migration has been completed
-  xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);
-  MC_process_ignore_memory(&mc_model_checker->process(), addr, size);
-  mmalloc_set_current_heap(heap);
 }
 
 }