From 61caa92695b419244dc7e7f6c0e95524e9e2367c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 10 Oct 2012 21:40:53 +0200
Subject: [PATCH] Include is missing when building with tracing=OFF.

---
 src/smpi/smpi_base.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/smpi_base.c b/src/smpi/smpi_base.c
index 01ef02deee..f9be0f3e2a 100644
--- a/src/smpi/smpi_base.c
+++ b/src/smpi/smpi_base.c
@@ -9,6 +9,7 @@
 #include "mc/mc.h"
 #include "xbt/replay.h"
 #include <errno.h>
+#include "simix/smx_private.h"
 #include "surf/surf.h"
 
 
-- 
2.20.1