From 7ab0c3292a34fe46da96475255faeadb956b4409 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 12 May 2017 18:20:45 +0200
Subject: [PATCH] fix non-MC builds

---
 src/mc/mc_base.cpp | 2 ++
 1 file changed, 2 insertions(+)

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