From 00650393e9910322debeae58442de3cbb7da6840 Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Sun, 26 Dec 2021 16:13:57 -0800 Subject: [PATCH] Update UAV_Ingress.mp --- models/Application_examples/UAV_Ingress.mp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/models/Application_examples/UAV_Ingress.mp b/models/Application_examples/UAV_Ingress.mp index f135743..d79e898 100644 --- a/models/Application_examples/UAV_Ingress.mp +++ b/models/Application_examples/UAV_Ingress.mp @@ -51,7 +51,7 @@ │*│ ┌─[ Instructions ]───────────────────────────────────┠│ │*│ │ Run for Scope 1. This model contains an unexpected │ │ │*│ │ behavior in which the UAV status is acceptable but │ │ -│*│ │ the operator aborts the ingress (trace 2). │ │ +│*│ │ the operator aborts the ingress (trace 2). │ │ │*│ ├─[ Run Statistics ]─────────────────────────────────┤ │ │*│ │ Scope 1: 2 traces in less than 1 sec. │ │ │*│ └────────────────────────────────────────────────────┘ │ -- GitLab