The checker now have a reference to the session

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index c4d738fdaa033a7ad39e2bb7225e0bd91d34afb3..b1bc14f93b637af7295fa83f5a07037d32b9118c 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2280,9 +2280,9 @@ include src/mc/remote/Channel.cpp
 include src/mc/remote/Channel.hpp
 include src/mc/remote/CheckerSide.cpp
 include src/mc/remote/CheckerSide.hpp
+include src/mc/remote/RemoteProcess.cpp
+include src/mc/remote/RemoteProcess.hpp
 include src/mc/remote/RemotePtr.hpp
-include src/mc/remote/RemoteSimulation.cpp
-include src/mc/remote/RemoteSimulation.hpp
 include src/mc/remote/mc_protocol.h
 include src/mc/sosp/ChunkedData.cpp
 include src/mc/sosp/ChunkedData.hpp