X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2c5bc1925ed8daa3274f4c6ddefbbe0e7ecf6a06..515cd2622ad1000f5f3ba58ecfaf488ac922b963:/src/mc/mc_base.cpp diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index 64a2ae63a7..c4004224f9 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -15,7 +15,7 @@ #include "src/mc/ModelChecker.hpp" #include "src/mc/api/RemoteApp.hpp" #include "src/mc/remote/AppSide.hpp" -#include "src/mc/remote/RemoteProcess.hpp" +#include "src/mc/sosp/RemoteProcessMemory.hpp" #endif XBT_LOG_NEW_DEFAULT_CATEGORY(mc, "All MC categories");