X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6c12a132ca10eefd1d566e489e837e459db4d979..638d55dcb8d944f7c74127725f1acb7b8e1449de:/src/simix/popping_generated.c

diff --git a/src/simix/popping_generated.c b/src/simix/popping_generated.c
index c8a3c3ca97..9f8e55c92f 100644
--- a/src/simix/popping_generated.c
+++ b/src/simix/popping_generated.c
@@ -16,7 +16,6 @@
 #include "smx_private.h"
 #ifdef HAVE_MC
 #include "mc/mc_process.h"
-#include "mc/mc_model_checker.h"
 #endif
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
@@ -163,7 +162,7 @@ void SIMIX_simcall_handle(smx_simcall_t simcall, int value) {
   XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));
   #ifdef HAVE_MC
   if (mc_model_checker) {
-    mc_model_checker->process.cache_flags = 0;
+    MC_invalidate_cache();
   }
   #endif
   SIMCALL_SET_MC_VALUE(simcall, value);