From 663c36fae7e5d8bde76c3c0e479883daa35b4017 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 10 Mar 2020 17:48:02 +0100
Subject: [PATCH] MANIFEST.in

---
 MANIFEST.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/MANIFEST.in b/MANIFEST.in
index 4a00f6a61a..dcec0f2f3d 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -262,6 +262,7 @@ include examples/deprecated/msg/mc/deploy_bugged2.xml
 include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
 include examples/deprecated/msg/mc/deploy_bugged3.xml
 include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
+include examples/deprecated/msg/mc/platform.xml
 include examples/deprecated/msg/mc/promela_bugged1_liveness
 include examples/deprecated/msg/mc/promela_bugged2_liveness
 include examples/deprecated/msg/synchro-semaphore/synchro-semaphore.c
-- 
2.20.1