From cd5185ae774cc99650b6cae2dca17b6062accea3 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Tue, 6 Jun 2023 12:05:18 +0200 Subject: [PATCH] Fix Manifest.in --- MANIFEST.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/MANIFEST.in b/MANIFEST.in index 5ad678c6ca..2aa9af7287 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -2192,8 +2192,10 @@ include src/mc/api/RemoteApp.hpp include src/mc/api/State.cpp include src/mc/api/State.hpp include src/mc/api/strategy/BasicStrategy.hpp +include src/mc/api/strategy/MaxMatchComm.hpp +include src/mc/api/strategy/MinMatchComm.hpp include src/mc/api/strategy/Strategy.hpp -include src/mc/api/strategy/WaitStrategy.hpp +include src/mc/api/strategy/UniformStrategy.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp -- 2.20.1