From 1023588c0f55c0113c32af821165f872eca9f864 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 25 Oct 2015 14:19:16 +0100
Subject: Finished report; added last query

---
 uppaalassignment/dining_savages.q | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'uppaalassignment/dining_savages.q')

diff --git a/uppaalassignment/dining_savages.q b/uppaalassignment/dining_savages.q
index da0f201..17662e7 100644
--- a/uppaalassignment/dining_savages.q
+++ b/uppaalassignment/dining_savages.q
@@ -2,6 +2,11 @@
 
 /*
 
+*/
+E<> cook.put
+
+/*
+
 */
 A[] not deadlock
 
-- 
cgit v1.2.3