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);