From 2a47ba1e93a09babd64c2b54270753578708bfbb Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Thu, 17 Jun 2021 22:52:46 +0000 Subject: [PATCH] Update Application_examples/Elevator.mp --- Application_examples/Elevator.mp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Application_examples/Elevator.mp b/Application_examples/Elevator.mp index b6fbf70..dfc63a6 100644 --- a/Application_examples/Elevator.mp +++ b/Application_examples/Elevator.mp @@ -15,7 +15,7 @@ in the case of this model, ( Elevator_works_fine Get_Off | Emergency_Situation Call_for_help ) -*/ +==========================================================*/ SCHEMA ELEVATOR -- GitLab