From 24297936443eb968a6f4733731a2e01c67bdfcc5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20B=C3=A9daride?= <paul.bedaride@gmail.com>
Date: Mon, 17 Dec 2012 11:17:04 +0100
Subject: [PATCH] Fix model checker config issue

---
 src/mc/mc_global.c | 1 +
 1 file changed, 1 insertion(+)

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"
-- 
2.20.1