diff --git a/testdata/parser/positive/7.pdl b/testdata/parser/positive/7.pdl
index ffa6bbf17b4a7a656efeaee75ed0d48491c049ae..8287e88afd2e3b4ca72fec7eb7eb7815b78d8709 100644
--- a/testdata/parser/positive/7.pdl
+++ b/testdata/parser/positive/7.pdl
@@ -50,7 +50,7 @@ composite puzzle(in[] a, in[] b, out x) {
 
 primitive resolve(in[] a, in[] b, out x) {
 	while (true) {
-		synchronous {
+		sync {
 			int i = 0;
 			while (i < a.length && i < b.length) {
 				if (fires(a[i]) && fires(b[i])) {
@@ -67,7 +67,7 @@ primitive resolve(in[] a, in[] b, out x) {
 
 primitive async(in[] a) {
 	while (true) {
-		synchronous {
+		sync {
 			int i = 0;
 			int j = 0;
 			while (i < a.length) {