diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl
index 4de6b59a35c1d45e788bee6a58ec0f1a5e9f8c8b..72c7a48f83e16e5d745fb6b4fa5ebcb02f8b091f 100644
--- a/examples/eg_protocols.pdl
+++ b/examples/eg_protocols.pdl
@@ -1,10 +1,10 @@
 primitive pres_2(in i, out o) {
-  synchronous {
+  sync {
     put(o, get(i));
   }
 }
 primitive together(in ia, in ib, out oa, out ob){
-  while(true) synchronous {
+  while(true) sync {
     if(fires(ia)) {
       put(oa, get(ia));
       put(ob, get(ib));
@@ -14,7 +14,7 @@ primitive together(in ia, in ib, out oa, out ob){
 
 primitive alt_round_merger(in a, in b, out c){
   while(true) {
-    synchronous{ put(c, get(a)); }
-    synchronous{ put(c, get(b)); }
+    sync { put(c, get(a)); }
+    sync { put(c, get(b)); }
   }	
 }