X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d97be1211bced2983a3d70127170b679030379f4..0bf32d746b6101fb9a539128c7db74abc2ef0b85:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 718c24d88b..ec8c8d1b1a 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2191,6 +2191,7 @@ include src/mc/explo/LivenessChecker.cpp
 include src/mc/explo/LivenessChecker.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
+include src/mc/explo/odpor/ClockVector_test.cpp
 include src/mc/explo/odpor/Execution.cpp
 include src/mc/explo/odpor/Execution.hpp
 include src/mc/explo/odpor/Execution_test.cpp