help.lint: fix error-type-holder.

2013-03-23 22:04:49 -07:00 · 2013-03-23 22:04:49 -07:00 · cd1c6ccda0
parent 1d8f1343e0
commit cd1c6ccda0
1 changed files with 1 additions and 1 deletions
--- a/basis/help/lint/lint.factor
+++ b/basis/help/lint/lint.factor
@ -16,7 +16,7 @@ TUPLE: help-lint-error < source-file-error ;

 SYMBOL: +help-lint-failure+

-T{ error-type
+T{ error-type-holder
   { type +help-lint-failure+ }
   { word ":lint-failures" }
   { plural "help lint failures" }