Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Further renamings
[simgrid.git] / src / mc / mc_base.cpp
index 2d7942e..b8300db 100644 (file)
@@ -16,7 +16,7 @@
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"
 #include "src/mc/Session.hpp"
-#include "src/mc/remote/RemoteClientMemory.hpp"
+#include "src/mc/remote/RemoteSimulation.hpp"
 
 using simgrid::mc::remote;
 #endif