From 1d254b22ecb6119e7d2c37daee60316a70999242 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 23 Mar 2015 11:48:33 +0100
Subject: [PATCH] [mc] Resolve process in MC_request_is_enabled()

---
 src/mc/mc_base.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c
index ffaa92c1c0..164047cfcb 100644
--- a/src/mc/mc_base.c
+++ b/src/mc/mc_base.c
@@ -16,6 +16,7 @@
 #include "mc_process.h"
 #include "mc_model_checker.h"
 #include "mc_protocol.h"
+#include "mc_smx.h"
 #endif
 
 XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
@@ -126,7 +127,11 @@ int MC_request_is_enabled(smx_simcall_t req)
     if(mutex->owner == NULL)
       return TRUE;
     else
+#ifdef HAVE_MC
+      return (mutex->owner->pid == MC_smx_resolve_process(req->issuer)->pid);
+#else
       return (mutex->owner->pid == req->issuer->pid);
+#endif
     }
 
   default:
-- 
2.20.1