From 0cfeb35bf50d82da2fb79fffc931f94368ae0e71 Mon Sep 17 00:00:00 2001
From: "Giammarco, Kristin M" <kmgiamma@nps.edu>
Date: Tue, 3 May 2022 06:57:07 -0700
Subject: [PATCH] Update Example05_CarRace_NestedComposition.mp
---
models/Example05_CarRace_NestedComposition.mp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/models/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp
index 1e36711..677e555 100644
--- a/models/Example05_CarRace_NestedComposition.mp
+++ b/models/Example05_CarRace_NestedComposition.mp
@@ -79,7 +79,8 @@ ROOT Cars: {+ Car +}
/* if at least one car finishes, there should be a winner */
ENSURE #finish > 0 -> #winner > 0;
- };
+ }
+;
ROOT Judge: provide_start_signal
watch
--
GitLab