From 4f4d5dd084f0b66318d3830b6165cfec26319639 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 7 Jul 2017 09:50:04 +0200
Subject: [PATCH] fix MC builds

---
 src/mc/Session.cpp       | 2 ++
 src/mc/remote/Client.cpp | 5 +++--
 src/smpi/smpi_memory.cpp | 3 ++-
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp
index 13f3d72b3e..7dc4a66399 100644
--- a/src/mc/Session.cpp
+++ b/src/mc/Session.cpp
@@ -20,6 +20,8 @@
 #include "src/mc/mc_private.h"
 #include "src/mc/checker/Checker.hpp"
 
+#include "src/smpi/private.hpp"
+
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_Session, mc, "Model-checker session");
 
 namespace simgrid {
diff --git a/src/mc/remote/Client.cpp b/src/mc/remote/Client.cpp
index ecf10e6f97..51b37afc62 100644
--- a/src/mc/remote/Client.cpp
+++ b/src/mc/remote/Client.cpp
@@ -1,5 +1,4 @@
-/* Copyright (c) 2015. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2015-2017. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -24,6 +23,8 @@
 #include "src/mc/remote/Client.hpp"
 #include "src/mc/remote/mc_protocol.h"
 
+#include "src/smpi/private.hpp"
+
 // We won't need those once the separation MCer/MCed is complete:
 #include "src/mc/mc_smx.h"
 
diff --git a/src/smpi/smpi_memory.cpp b/src/smpi/smpi_memory.cpp
index 22fbd560b8..0c56653942 100644
--- a/src/smpi/smpi_memory.cpp
+++ b/src/smpi/smpi_memory.cpp
@@ -23,8 +23,9 @@
 
 #include "src/xbt/memory_map.hpp"
 
-#include "src/smpi/private.h"
 #include "private.hpp"
+#include "src/smpi/private.h"
+#include "src/smpi/private.hpp"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_memory, smpi, "Memory layout support for SMPI");
 
-- 
2.20.1