fix on 'tick' calling

lenaRB · Oct 23, 2023 · 83d9e05 · 83d9e05
1 parent d61a762
commit 83d9e05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/crml_tutorial/traffic_light/Spec_simplified.crml b/resources/crml_tutorial/traffic_light/Spec_simplified.crml
@@ -17,7 +17,7 @@ model Spec is {
 
 			// Filter clock ticks inside a time period
 			Operator [ Clock ] Clock C 'inside' Period P 
-				= C filter ((tick >= (P start)) and (tick <= (P end)));
+				= C filter ((tick C >= (P start)) and (tick C <= (P end)));
 
 			// Operators on clocks
 			// Count the occurrences of events inside a time period