]> gitweb.factorcode.org Git - factor.git/commitdiff
tools.test: fix help-lint.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 2 Jun 2021 16:34:59 +0000 (09:34 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 2 Jun 2021 16:34:59 +0000 (09:34 -0700)
basis/tools/test/test-docs.factor

index 428b9aa1657c117cac22256cbf04686432b7f416..c5309b49f5222fac421930d54e956f93cc0018c9 100644 (file)
@@ -88,7 +88,6 @@ HELP: refresh-and-test
 { $description "Like " { $link refresh } ", but runs unit tests for all reloaded vocabularies afterwards." } ;
 
 HELP: refresh-and-test-all
-{ $values { "prefix" string } }
 { $description "Like " { $link refresh-all } ", but runs unit tests for all reloaded vocabularies afterwards." } ;
 
 { refresh-and-test refresh-and-test-all } related-words