model-checker : detect valid block or fragment pointer as free function

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

diff --git a/src/simix/smx_context_base.c b/src/simix/smx_context_base.c
index 47dcaae..56efcf1 100644 (file)
--- a/src/simix/smx_context_base.c
+++ b/src/simix/smx_context_base.c
@@ -8,8 +8,7 @@
 
 
 #include "xbt/function_types.h"
-#include "simix/simix.h"
-#include "simix/context.h"
+#include "simgrid/simix.h"
 #include "smx_private.h"
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(bindings);
@@ -87,7 +86,7 @@ void smx_ctx_base_stop(smx_context_t context)
   if (context->cleanup_func)
     context->cleanup_func(context->data);
   context->iwannadie = 0;
-  SIMIX_req_process_cleanup(context->data);
+  simcall_process_cleanup(context->data);
   context->iwannadie = 1;
 }