From 9dbcce0cfe571999b1143610c66bb8cfa9f63070 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 18 Dec 2017 00:09:31 -0600
Subject: [PATCH] mason.report: try with get-global. the code seems to be
 running...

---
 extra/mason/report/report.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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