From f0e56bf82001574ff1b593f79b84c6330b751261 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 4 Apr 2016 17:26:03 +0200
Subject: [PATCH] [mc] Fix #includes

---
 src/mc/CommunicationDeterminismChecker.cpp | 1 -
 src/mc/CommunicationDeterminismChecker.hpp | 3 +++
 src/mc/SafetyChecker.cpp                   | 3 ---
 src/mc/SafetyChecker.hpp                   | 2 ++
 4 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp
index b2c8e0babc..cf2593bfce 100644
--- a/src/mc/CommunicationDeterminismChecker.cpp
+++ b/src/mc/CommunicationDeterminismChecker.cpp
@@ -8,7 +8,6 @@
 
 #include <xbt/dynar.h>
 #include <xbt/dynar.hpp>
-#include <xbt/fifo.h>
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 
diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
index a33c5ce8e8..4c00ce6273 100644
--- a/src/mc/CommunicationDeterminismChecker.hpp
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -5,6 +5,9 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include <list>
+#include <memory>
+#include <string>
+#include <vector>
 
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"
diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index 25abd4bb1c..bb759a346e 100644
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -10,9 +10,6 @@
 #include <list>
 
 #include <xbt/log.h>
-#include <xbt/dynar.h>
-#include <xbt/dynar.hpp>
-#include <xbt/fifo.h>
 #include <xbt/sysdep.h>
 
 #include "src/mc/mc_state.h"
diff --git a/src/mc/SafetyChecker.hpp b/src/mc/SafetyChecker.hpp
index 4f60b792ec..82c2bbb3fb 100644
--- a/src/mc/SafetyChecker.hpp
+++ b/src/mc/SafetyChecker.hpp
@@ -9,6 +9,8 @@
 
 #include <list>
 #include <memory>
+#include <string>
+#include <vector>
 
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"
-- 
2.20.1