From b3b00687a27236ce7a39ffce0faeb43cb8d408d5 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 28 Feb 2012 18:23:28 +0100
Subject: [PATCH 1/1] Missing include.

---
 src/xbt/xbt_main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index e536bf56a7..f81daf78d6 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -8,6 +8,7 @@
 
 #include "xbt/misc.h"
 #include "simgrid_config.h"     /*HAVE_MMAP _XBT_WIN32 */
+#include "gras_config.h"        /* MMALLOC_WANT_OVERRIDE_LEGACY */
 #include "time.h"               /* to seed the random generator */
 
 #include "xbt/sysdep.h"
-- 
2.20.1