From a8435b590ee086dcf3eff0592b2001bb6d0dd059 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 6 Apr 2016 14:00:49 +0200
Subject: [PATCH 1/1] [mc] Fix #includes

---
 src/mc/SafetyChecker.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index bcb9065052..f79c6b98bf 100644
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -7,7 +7,9 @@
 #include <cassert>
 #include <cstdio>
 
-#include <list>
+#include <memory>
+#include <string>
+#include <vector>
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
-- 
2.20.1