diff --git a/examples/bench_27/main.c b/examples/bench_27/main.c index 8471d124fc401559b6fef1281c42e21292a2ca7e..7aa6fa92931fdc1d68dabfa1ef6386c0c7353824 100644 --- a/examples/bench_27/main.c +++ b/examples/bench_27/main.c @@ -9,7 +9,7 @@ int main(int argc, char** argv) { unsigned char pdl[] = "\ primitive xrouter(in a, out b, out c) {\ - while(true) synchronous {\ + while(true) sync {\ if(fires(a)) {\ if(fires(b)) put(b, get(a));\ else put(c, get(a));\