From ec063df4a961d3c60ccca6afc0209fca1b061f9f Mon Sep 17 00:00:00 2001
From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 16 Dec 2010 16:15:47 +0000
Subject: [PATCH] Bugfix: make sure we include the definition of HAVE_MC

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9272 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/include/mc/mc.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 0a08e993da..bf7593a923 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -15,6 +15,7 @@
 #include "xbt/function_types.h"
 #include "mc/datatypes.h"
 #include "simix/datatypes.h"
+#include "gras_config.h" /* Definition of HAVE_MC */
 
 #ifdef HAVE_MC
 extern int _surf_do_model_check;
-- 
2.20.1