diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp index 9f2cf2a2fcbe1d8097df1913d6bf880e60d9d8fe..e98252e5e91349fd9ab17dd71bf40f788efde8f8 100644 --- a/Application_examples/Small_Package_Delivery.mp +++ b/Application_examples/Small_Package_Delivery.mp @@ -33,7 +33,7 @@ root (line 36 and lines 114-128) and running that model subset, one can see 6 event traces, one of which is unexpected: the Air_Vehicle drops the payload with no vessel in sight (trace 6). -*/ +==========================================================*/ SCHEMA Small_Package_Delivery