diff --git a/examples/bench_11/main.c b/examples/bench_11/main.c
index 3f6b4f055cd8392119ee7b947106affb0646d374..3c4002029ee8af18799f7f532da75632eee6bdd9 100644
--- a/examples/bench_11/main.c
+++ b/examples/bench_11/main.c
@@ -9,7 +9,7 @@ int main(int argc, char** argv) {
 		forwards, num_options);
 	unsigned char pdl[] = 
 	"primitive recv_zero(in a) {  "
-	"    while(true) synchronous {"
+	"    while(true) sync {"
 	"        msg m = get(a);      "
 	"        assert(m[0] == 0);   "
 	"    }                        "