tools.coverage: Fix docs

db4
Doug Coleman 2013-03-25 11:55:31 -07:00
parent 8799cdb359
commit 3bdb788709
1 changed files with 1 additions and 1 deletions

View File

@ -7,7 +7,7 @@ IN: tools.coverage
HELP: <coverage-state> HELP: <coverage-state>
{ $values { $values
{ "executed?" boolean } { "executed?" boolean }
{ "coverage" coverage } { "coverage-state" coverage-state }
} }
{ $description "Makes a coverage tuple. Users should not call this directly." } ; { $description "Makes a coverage tuple. Users should not call this directly." } ;