From 41d21b519898c399159b9e2030e43db5e53fe6ca Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 18:42:30 +0100
Subject: [PATCH] model-checker : removed tesh forgotten in
 DefinePackages.cmake

---
 buildtools/Cmake/DefinePackages.cmake | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index cbc9251f4d..e9ad635ddf 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -129,8 +129,7 @@ set(EXTRA_DIST
   tools/tesh/run_context.h
   tools/tesh/tesh.h
   tools/tesh/generate_tesh
-  examples/smpi/mc/non_deterministic.tesh
-  examples/smpi/mc/send_deterministic.tesh
+  examples/smpi/mc/only_send_deterministic.tesh
   )
 
 set(SMPI_SRC
-- 
2.20.1