diff --git a/examples/bench_09/main.c b/examples/bench_09/main.c
index 4cd3fcf4db542cdd67f9ca4f7bcd03e6fc4bc40b..dcf524313be93c129c46dea4e3213a94a7f2af41 100644
--- a/examples/bench_09/main.c
+++ b/examples/bench_09/main.c
@@ -12,7 +12,7 @@ int main(int argc, char** argv) {
 	"    while(true) {            "
 	"        i = 0;               "
 	"        while(i < 2)  i++;   "
-	"        synchronous {}       "
+	"        sync {}       "
 	"    }                        "
 	"}                            "
 	;