diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl
deleted file mode 100644
index 72c7a48f83e16e5d745fb6b4fa5ebcb02f8b091f..0000000000000000000000000000000000000000
--- a/examples/eg_protocols.pdl
+++ /dev/null
@@ -1,20 +0,0 @@
-primitive pres_2(in i, out o) {
-  sync {
-    put(o, get(i));
-  }
-}
-primitive together(in ia, in ib, out oa, out ob){
-  while(true) sync {
-    if(fires(ia)) {
-      put(oa, get(ia));
-      put(ob, get(ib));
-    }
-  }	
-}
-
-primitive alt_round_merger(in a, in b, out c){
-  while(true) {
-    sync { put(c, get(a)); }
-    sync { put(c, get(b)); }
-  }	
-}