X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4024bb916273e018b05e52cfcf0789c9de52cf72..c5ad8ca1a68bbaa9152471c8d0eeb99d762f0d86:/src/mc/mc_liveness.c?ds=sidebyside

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 779ded2fb0..00a2eb970b 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -908,7 +908,7 @@ void MC_ddfs(int search_cycle){
 
   int value;
   mc_state_t next_graph_state = NULL;
-  smx_req_t req = NULL;
+  smx_simcall_t req = NULL;
   char *req_str;
 
   xbt_transition_t transition_succ;
@@ -940,7 +940,7 @@ void MC_ddfs(int search_cycle){
 	MC_state_set_executed_request(current_pair->graph_state, req, value);   
     
 	/* Answer the request */
-	SIMIX_request_pre(req, value);
+	SIMIX_simcall_pre(req, value);
 
 	/* Wait for requests (schedules processes) */
 	MC_wait_for_requests();