Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename two functions and a structure
[simgrid.git] / src / mc / mc_dpor.c
index 02c1d05..3b2eb2a 100644 (file)
@@ -126,7 +126,7 @@ void MC_dpor(void)
 
       /* Check for deadlocks */
       xbt_swag_foreach(process, simix_global->process_list){
-        if(process->request && !SIMIX_request_isEnabled(process->request)){
+        if(process->request && !SIMIX_request_is_enabled(process->request)){
           *mc_exp_ctl = MC_DEADLOCK;
           return;
         }
@@ -181,4 +181,4 @@ void MC_dpor(void)
   MC_UNSET_RAW_MEM;
   *mc_exp_ctl = MC_STOP;
   return;
-}
\ No newline at end of file
+}