diff --git a/testdata/parser/positive/11.pdl b/testdata/parser/positive/11.pdl
index 43fea6c6c4c47556c13694ea8a084d31ce21be93..13f7f57bc2d5afdf5853057957afeab1fc91788a 100644
--- a/testdata/parser/positive/11.pdl
+++ b/testdata/parser/positive/11.pdl
@@ -3,13 +3,13 @@
 primitive main(in a, out b) {
 	msg x = null;
 	while (x == null) {
-		synchronous {
+		sync {
 			if (fires(a))
 				x = get(a);
 		}
 	}
 	while (true) {
-		synchronous {
+		sync {
 			if (fires(b))
 				put(b, x);
 		}