diff --git a/testdata/parser/positive/18.pdl b/testdata/parser/positive/18.pdl index 5482cb85c351f86974ce4d87eb7b4936c98719d0..1427b45e186abd5cfb8437eb09e37c4402695a75 100644 --- a/testdata/parser/positive/18.pdl +++ b/testdata/parser/positive/18.pdl @@ -12,7 +12,7 @@ primitive main1(in a, out c) { x = 1; y = 1; while (true) { - synchronous { + sync { if (x > 0 && fires(a)) { z = get(a); x--; @@ -23,7 +23,7 @@ primitive main1(in a, out c) { y++; } } - synchronous { + sync { assert !fires(a) && !fires(c); if (z != null && y > 0) { w = z;