From a5ca7957443f89e7fef7929dcd70ba4fd2695e67 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 6 Feb 2015 13:55:18 +0100
Subject: [PATCH] [mc] Flag global variables in mc_ignore as belonging to the
 MCer

---
 src/mc/mc_ignore.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/mc/mc_ignore.c b/src/mc/mc_ignore.c
index 1657fc16c9..bde464c8cf 100644
--- a/src/mc/mc_ignore.c
+++ b/src/mc/mc_ignore.c
@@ -18,6 +18,9 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_ignore, mc,
 
 
 /**************************** Global variables ******************************/
+// Those structures live with the MCer and should be moved in the model_checker
+// structure but they are currently used before the MC initialisation
+// (in standalone mode).
 
 extern xbt_dynar_t mc_heap_comparison_ignore;
 extern xbt_dynar_t stacks_areas;
-- 
2.20.1