From 3074e60a4b97f3638a1235aa9853fdb4bb51dad8 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 23 Sep 2013 10:54:47 +0200
Subject: [PATCH] model-checker : add bugged1_liveness_visited.tesh in
 CMakeLists.txt

---
 examples/msg/mc/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index 876cf71979..554add94b6 100644
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -26,6 +26,7 @@ set(tesh_files
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
   PARENT_SCOPE
   )
-- 
2.20.1