From 31500e009164b73d7c26469db34e16cc119999f9 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@enst-bretagne.fr>
Date: Sat, 25 Jul 2015 12:03:38 +0200
Subject: [PATCH] [mc] Fix missing #include in non MC

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

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index c24d0f2561..9d407ed069 100644
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -13,11 +13,11 @@
 #include "mc/mc_record.h"
 #include "mc/mc_replay.h"
 #include "mc/mc.h"
+#include "mc_protocol.h"
 
 #ifdef HAVE_MC
 #include "mc_process.h"
 #include "ModelChecker.hpp"
-#include "mc_protocol.h"
 #include "mc_smx.h"
 #include "mc_server.h"
 #endif
-- 
2.20.1