[mc] Fix #includes

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index bcb9065..f79c6b9 100644 (file)
--- 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>