diff --git a/extra/mason/report/report.factor b/extra/mason/report/report.factor index 43c20f637a..ae4d6dc41c 100644 --- a/extra/mason/report/report.factor +++ b/extra/mason/report/report.factor @@ -123,7 +123,7 @@ IN: mason.report help-lint-errors-file error-dump - skip-mason-benchmarks get [ + skip-mason-benchmarks get-global [ "Benchmark errors" benchmark-error-vocabs-file benchmark-error-messages-file