From d64364f04ec23e8792d5a98f487db752691229e3 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 17 Jun 2021 22:52:13 +0000
Subject: [PATCH] Update Application_examples/Dining_Philosophers.mp
---
Application_examples/Dining_Philosophers.mp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Application_examples/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp
index d4f05f3..c97601c 100644
--- a/Application_examples/Dining_Philosophers.mp
+++ b/Application_examples/Dining_Philosophers.mp
@@ -32,7 +32,8 @@ scope 3 yields 6 traces in approx. 0.05 sec.
scope 4 yields 14 traces in approx. 0.44 sec.
scope 5 yields 30 traces in approx. 1.6 sec.
-============================================================================*/
+==========================================================*/
+
SCHEMA Dining_Philosophers
ROOT Philosophers: {+<$$scope> Philosopher +};
--
GitLab