[mc] Fix #includes

diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp
index b2c8e0babc5d4d95008aada885b577b1cf307baf..cf2593bfce59a8ef6b1e956211f33b5e0ded7ec2 100644 (file)
--- a/src/mc/CommunicationDeterminismChecker.cpp
+++ b/src/mc/CommunicationDeterminismChecker.cpp
@@ -8,7 +8,6 @@
 
 #include <xbt/dynar.h>
 #include <xbt/dynar.hpp>
 
 #include <xbt/dynar.h>
 #include <xbt/dynar.hpp>

-#include <xbt/fifo.h>

 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
index a33c5ce8e8fdcffdd752944bb79f6a42bae52a21..4c00ce6273112b62a2a9c7829799dfd8731b46de 100644 (file)
--- 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>
  * 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"
 
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index 25abd4bb1c8e223e47416c132d48d40670ac5c55..bb759a346e31ead779f5a2c2817baf169ef635d1 100644 (file)
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -10,9 +10,6 @@
 #include <list>
 
 #include <xbt/log.h>
 #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"
 #include <xbt/sysdep.h>
 
 #include "src/mc/mc_state.h"

diff --git a/src/mc/SafetyChecker.hpp b/src/mc/SafetyChecker.hpp
index 4f60b792ec7c5f2a9d8f3157c049fac636a63801..82c2bbb3fb43c4940c53c746a1a1a6d4d8c80597 100644 (file)
--- a/src/mc/SafetyChecker.hpp
+++ b/src/mc/SafetyChecker.hpp
@@ -9,6 +9,8 @@
 
 #include <list>
 #include <memory>
 
 #include <list>
 #include <memory>

+#include <string>
+#include <vector>

 
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"
 
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"