From 4bc0b72450cc8ecc43b018de0fbcaf1700d0c4eb Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Thu, 17 Jun 2021 22:46:53 +0000 Subject: [PATCH] Update Application_examples/CargoScreening.mp --- Application_examples/CargoScreening.mp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Application_examples/CargoScreening.mp b/Application_examples/CargoScreening.mp index 8e1c329..ccb6969 100644 --- a/Application_examples/CargoScreening.mp +++ b/Application_examples/CargoScreening.mp @@ -20,7 +20,7 @@ MP-Firebird may be used at least for the following: was it always preceded by ThreatIsNotFound or No_high_risk_cargo_selected events?" - typical query may be: "show all scenarios when Loading event does not happen" -*/ +==========================================================*/ SCHEMA CargoScreening -- GitLab