Skip to content
Snippets Groups Projects
Commit 2a47ba1e authored by Pamela Dyer's avatar Pamela Dyer
Browse files

Update Application_examples/Elevator.mp

parent d64364f0
No related branches found
No related tags found
1 merge request!2Pamela branch
...@@ -15,7 +15,7 @@ in the case of this model, ...@@ -15,7 +15,7 @@ in the case of this model,
( Elevator_works_fine Get_Off | ( Elevator_works_fine Get_Off |
Emergency_Situation Call_for_help ) Emergency_Situation Call_for_help )
*/ ==========================================================*/
SCHEMA ELEVATOR SCHEMA ELEVATOR
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment