From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 23 Feb 2015 09:58:30 +0000 (+0100)
Subject: [mc] Use MC_process_is_enabled instead of MC_request_is_enabled
X-Git-Tag: v3_12~732^2~116
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/12755512ab785b31d6a0789317fe5302fc2fe019

[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 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;
       }