From 527ccfa60d415c6361bdcafd6de14aa285e7d802 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <admin@recondor.com>
Date: Sun, 2 Feb 2014 22:24:24 +0100
Subject: [PATCH] Removed faulty query

---
 Model/model.q | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Model/model.q b/Model/model.q
index daaead1..57d61eb 100644
--- a/Model/model.q
+++ b/Model/model.q
@@ -7,11 +7,6 @@
 
 /*
 
-*/
-(not Host1.Closed and not Host2.Closed) --> Host1.Established
-
-/*
-
 */
 A[] not deadlock