diff --git a/testdata/parser/positive/17.pdl b/testdata/parser/positive/17.pdl
index 6b3934d0a050516cac284b7a5684f1918c27d421..36f68933457d82badaa6e40018f542f3f756a062 100644
--- a/testdata/parser/positive/17.pdl
+++ b/testdata/parser/positive/17.pdl
@@ -8,7 +8,7 @@ primitive prophet(in b, out a) {
 	msg c = null;
 	while (true) {
 		if (c != null) {
-			synchronous {
+			sync {
 				assert !fires(a);
 				if (fires(b)) {
 					assert get(b) == c;
@@ -31,7 +31,7 @@ primitive fifo(in a, out b, msg init) {
     msg c = init;
     while (true) {
         if (c != null) {
-        	synchronous {
+        	sync {
                 assert !fires(a);
                 if (fires(b)) {
                     put(b, c);
@@ -39,7 +39,7 @@ primitive fifo(in a, out b, msg init) {
                 }
             }
         } else {
-        	synchronous {
+        	sync {
                 assert !fires(b);
                 if (fires(a)) {
                     c = get(a);