X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/95bcda88a7fcfa168381cba0eedadb1e4937d0b3..41626f8a47c96f54fa3b1ee61a90fb0af699dcbc:/src/mc/mc_record.c

diff --git a/src/mc/mc_record.c b/src/mc/mc_record.c
index de2242d0ee..9d615b33c0 100644
--- a/src/mc/mc_record.c
+++ b/src/mc/mc_record.c
@@ -17,6 +17,7 @@
 #include "mc_private.h"
 #include "mc_model_checker.h"
 #include "mc_state.h"
+#include "mc_smx.h"
 #endif
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_record, mc,
@@ -108,7 +109,7 @@ char* MC_record_stack_to_string(xbt_fifo_t stack)
     mc_state_t state = (mc_state_t) xbt_fifo_get_item_content(item);
     int value = 0;
     smx_simcall_t saved_req = MC_state_get_executed_request(state, &value);
-    const smx_process_t issuer = MC_process_get_issuer(&mc_model_checker->process, saved_req);
+    const smx_process_t issuer = MC_smx_simcall_get_issuer(saved_req);
     const int pid = issuer->pid;
 
     // Serialization the (pid, value) pair:
@@ -143,5 +144,5 @@ void MC_record_replay_from_string(const char* path_string)
 
 void MC_record_replay_init()
 {
-  mc_time = xbt_new0(double, simix_process_maxpid);
+  mc_time = xbt_new0(double, MC_smx_get_maxpid());
 }