diff --git a/basis/help/lint/lint.factor b/basis/help/lint/lint.factor index c1dd591013..1fb836427a 100755 --- a/basis/help/lint/lint.factor +++ b/basis/help/lint/lint.factor @@ -78,6 +78,7 @@ PRIVATE> : help-lint ( prefix -- ) [ + auto-use? off all-vocabs-seq [ vocab-name ] map all-vocabs set group-articles vocab-articles set child-vocabs