X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c77b7752704cc065993f337238a81c9f6d2cf20a..4d140762b2b9c8746cdd3b0680a7167867ba0ad9:/src/mc/Session.cpp diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp index 566858b8ad..d38c528217 100644 --- a/src/mc/Session.cpp +++ b/src/mc/Session.cpp @@ -20,7 +20,7 @@ #include "src/mc/mc_private.h" #include "src/mc/checker/Checker.hpp" -#include "src/smpi/private.hpp" +#include "src/smpi/include/private.hpp" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_Session, mc, "Model-checker session");