X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/07c319ec54d6fc778ee3cc5e75a747242006723e..159761f29d41e8cfd0636d56a182f9481eff279c:/src/mc/mc_dpor.c

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 02c1d058ff..3b2eb2ab11 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -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
+}