From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 12 May 2017 16:20:45 +0000 (+0200)
Subject: fix non-MC builds
X-Git-Tag: v3.16~274^2~33^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7ab0c3292a34fe46da96475255faeadb956b4409?ds=inline

fix non-MC builds
---

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index c80227d0b6..681efc334e 100644
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -6,7 +6,9 @@
 #include <simgrid_config.h>
 
 #include "mc/mc.h"
+#include "src/mc/mc_base.h"
 #include "src/mc/mc_replay.h"
+#include "src/simix/smx_private.h"
 
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"