Rename guide as strategy and fix counter-example display with recipe

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 9ae7ec1439e7d9b26abaf0e154abdbbcee7b3ec3..8f6ca8572a0ddb63768ce32a73e3948ff0b04493 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2153,8 +2153,9 @@ include src/mc/api/RemoteApp.cpp
 include src/mc/api/RemoteApp.hpp
 include src/mc/api/State.cpp
 include src/mc/api/State.hpp
-include src/mc/api/guide/BasicGuide.hpp
-include src/mc/api/guide/GuidedState.hpp
+include src/mc/api/strategy/BasicStrategy.hpp
+include src/mc/api/strategy/Strategy.hpp
+include src/mc/api/strategy/WaitStrategy.hpp
 include src/mc/compare.cpp
 include src/mc/datatypes.h
 include src/mc/explo/CommunicationDeterminismChecker.cpp