X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7ebd6d64a6382e0dad15e4d63cd4f84d94d8312f..f0e56bf82001574ff1b593f79b84c6330b751261:/src/mc/SafetyChecker.hpp 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 #include +#include +#include #include "src/mc/mc_forward.hpp" #include "src/mc/Checker.hpp"