]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint: fix error-type-holder.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 24 Mar 2013 05:04:49 +0000 (22:04 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 24 Mar 2013 05:04:49 +0000 (22:04 -0700)
basis/help/lint/lint.factor

index fb5ed8a5f0efcb725db8560a2c46f8cf50bcec18..7e8c2e8c94d3f097782dd0b62a941312e43d7237 100644 (file)
@@ -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" }