diff --git a/testdata/parser/positive/8.pdl b/testdata/parser/positive/8.pdl index d7b37e7c5089fe3b04637d38e03992b9b77e9c10..12028358391187f031051c78f9f5e6267ce07a0e 100644 --- a/testdata/parser/positive/8.pdl +++ b/testdata/parser/positive/8.pdl @@ -31,7 +31,7 @@ composite main(out x) { primitive evil_or_odious(in x, out y) { while (true) { - synchronous { + sync { if (fires(x) && fires(y)) { msg a = get(x); msg result = create(1); @@ -53,7 +53,7 @@ primitive evil_or_odious(in x, out y) { primitive recorder(out h, in a) { msg c = create(0); while (true) { - synchronous { + sync { if (fires(h) && fires(a)) { put(h, c); {