From a7f68bcb400ea8fdc168b12c8f97c59968b7ec03 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 3 Jun 2010 22:47:29 +0200
Subject: [PATCH] Removed Eve from one demo file.

---
 protocols/Demo/ns3.spdl | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/protocols/Demo/ns3.spdl b/protocols/Demo/ns3.spdl
index caef79c..5dc5fee 100644
--- a/protocols/Demo/ns3.spdl
+++ b/protocols/Demo/ns3.spdl
@@ -43,9 +43,4 @@ protocol ns3(I,R)
 	}
 }
 
-// An untrusted agent, with leaked information
-
-const Eve: Agent;
-untrusted Eve;
-compromised sk(Eve);