[mc] Use MC_process_is_enabled instead of MC_request_is_enabled

This is consistent with other similar loops.

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 985dba9..d520ffb 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -337,7 +337,7 @@ int MC_deadlock_check()
   if (xbt_swag_size(simix_global->process_list)) {
     deadlock = TRUE;
     xbt_swag_foreach(process, simix_global->process_list) {
-      if (MC_request_is_enabled(&process->simcall)) {
+      if (MC_process_is_enabled(process)) {
         deadlock = FALSE;
         break;
       }