From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Mon, 17 Dec 2012 10:17:04 +0000 (+0100)
Subject: Fix model checker config issue
X-Git-Tag: v3_9_rc1~86^2~109
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/24297936443eb968a6f4733731a2e01c67bdfcc5?hp=7d9a2608433e246294b7c4b339371fd4d3530ba6

Fix model checker config issue
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index f3555063f0..c8c3e5d400 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -8,6 +8,7 @@
 #include <sys/wait.h>
 #include <sys/time.h>
 
+#include "simgrid/sg_config.h"
 #include "../surf/surf_private.h"
 #include "../simix/smx_private.h"
 #include "../xbt/mmalloc/mmprivate.h"