Update Example05_CarRace_NestedComposition.mp

0cfeb35b · Giammarco, Kristin M · 528dabc9 · 0cfeb35b
Commit 0cfeb35b authored 3 years ago by Giammarco, Kristin M
--- 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