X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8ef9510aee1b2c8a7da1cdd3a2f062b4ad3269a..e661126772f552f2054d584f62466a751d9fb0f1:/src/mc/mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index c0aa52a2ce..19a312f06a 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -643,6 +643,7 @@ int MC_automaton_evaluate_label(xbt_exp_label_t l){
   }
   default : 
     return -1;
+    break;
   }
 }
 
@@ -769,7 +770,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;
@@ -801,7 +802,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();