X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/44e1f8ffa8fa357d84dd73e136fe3f4497980ef8..a05b37852a57f94f75cbd4da7dc9e75a88a69f35:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 74943c16d7..5bcbb3499d 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2189,6 +2189,8 @@ include src/mc/explo/Exploration.cpp
 include src/mc/explo/Exploration.hpp
 include src/mc/explo/LivenessChecker.cpp
 include src/mc/explo/LivenessChecker.hpp
+include src/mc/explo/odpor/Execution.cpp
+include src/mc/explo/odpor/Execution.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp