]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint.coverage: fix string.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 18:23:36 +0000 (10:23 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 18:23:36 +0000 (10:23 -0800)
extra/help/lint/coverage/coverage-docs.factor

index ba9c84ae9d31e4ef4e38ad765413b49824fe92c0..ad27f489402c8d0114a770e5e02eeea4bc08541d 100644 (file)
@@ -200,7 +200,7 @@ HELP: <prefix-help-coverage>
 
 HELP: <word-help-coverage>
 { $values { "word" { $or string word } } { "coverage" word-help-coverage } }
-{ $contract "Looks up a word in the current scope and generates a documentation coverage report for it."}
+{ $contract "Looks up a word in the current scope and generates a documentation coverage report for it." }
 { $examples
     { $example
         "USING: help.lint.coverage prettyprint ;"