diff --git a/testdata/parser/positive/12.pdl b/testdata/parser/positive/12.pdl
index 1ac91cd80217398a5d0b89f821a4a03c521ff563..8647d44b9249e4d85a23309ec6aa540047e2f247 100644
--- a/testdata/parser/positive/12.pdl
+++ b/testdata/parser/positive/12.pdl
@@ -7,7 +7,7 @@ primitive main(in a, out b) {
 	y %= x -= 3;
 	x *= x * (x *= 5);
 	while (true) {
-		synchronous {
+		sync {
 			assert fires(a) == fires(b);
 		}
 	}