diff --git a/testdata/parser/positive/14.pdl b/testdata/parser/positive/14.pdl index 622e756f27a3218031b0ed0e475eb22f95d6aac3..4ac063f5521d7f24c3f260fcc067f10783792209 100644 --- a/testdata/parser/positive/14.pdl +++ b/testdata/parser/positive/14.pdl @@ -3,13 +3,13 @@ composite main(out c) { channel ao -> ai; channel bo -> bi; - new sync(ai, bo); + new sync_component(ai, bo); new binary_replicator(bi, ao, c); } primitive sync(in a, out b) { while (true) { - synchronous { + sync { if (fires(a) && fires(b)) { msg x = get(a); put(b, x); @@ -22,7 +22,7 @@ primitive sync(in a, out b) { primitive binary_replicator(in b, out a, out c) { while (true) { - synchronous { + sync { if (fires(b) && fires(a) && fires(c)) { msg x = get(b); put(a, x);