From b1b75f0e9df6da55c49f186915224e1ff7622a4e Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 17 Jun 2021 22:51:31 +0000
Subject: [PATCH] Update Application_examples/Cycle_Pattern.mp

---
 Application_examples/Cycle_Pattern.mp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Application_examples/Cycle_Pattern.mp b/Application_examples/Cycle_Pattern.mp
index 63a2d39..fa7a43d 100644
--- a/Application_examples/Cycle_Pattern.mp
+++ b/Application_examples/Cycle_Pattern.mp
@@ -19,7 +19,7 @@ the different possible patterns for Cycle.
 Running at scope 1 will generate zero traces because
 of the ENSURE constraint on line 29.
 
-****************************************/
+==========================================================*/
 
 SCHEMA Cycle_ISP_v2
 
-- 
GitLab