diff --git a/Application_examples/Cycle_Pattern.mp b/Application_examples/Cycle_Pattern.mp index 63a2d399e915488381fc34634bb6c9172c7ca0d0..fa7a43db1dd447ec434a82c99c1838bb810cc89d 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