diff --git a/testdata/parser/negative/24.pdl b/testdata/parser/negative/24.pdl index aa44bdda2068eb610250dd1932822fa70c0b8afa..8e7ee6e0b969b1fc5a99a9729cb3f6c5b9383fee 100644 --- a/testdata/parser/negative/24.pdl +++ b/testdata/parser/negative/24.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); } }