From 4408bd3a6958dbde402aa725a8c8f668061134dc Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 15 Dec 2020 09:34:35 +0100
Subject: [PATCH] Update MANIFEST.in.

---
 MANIFEST.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/MANIFEST.in b/MANIFEST.in
index 9fea2b9012..cd0e9b2cbc 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2267,7 +2267,6 @@ include src/mc/Session.hpp
 include src/mc/Transition.hpp
 include src/mc/VisitedState.cpp
 include src/mc/VisitedState.hpp
-include src/mc/checker/Checker.cpp
 include src/mc/checker/Checker.hpp
 include src/mc/checker/CommunicationDeterminismChecker.cpp
 include src/mc/checker/CommunicationDeterminismChecker.hpp
-- 
2.20.1