From 12755512ab785b31d6a0789317fe5302fc2fe019 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 23 Feb 2015 10:58:30 +0100
Subject: [PATCH] [mc] Use MC_process_is_enabled instead of
 MC_request_is_enabled

This is consistent with other similar loops.
---
 src/mc/mc_global.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 985dba9e2e..d520ffb0d2 100644
--- 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;
       }
-- 
2.20.1