X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e195a28b546de45d49c8ab08f18da1da136a2454..a49a03122b2def71ff741e78d15b38cd1d171184:/src/mc/Session.hpp diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp index caccae0b58..8bc9f04a7f 100644 --- a/src/mc/Session.hpp +++ b/src/mc/Session.hpp @@ -11,14 +11,14 @@ #include #endif -#include +#include "xbt/sysdep.h" +#include "xbt/system_error.hpp" #include -#include -#include +#include #include -#include +#include "xbt/log.h" #include "src/mc/mc_forward.hpp" #include "src/mc/ModelChecker.hpp"