From 3bdb7887099dfa16a37d61364d732b357ea9fc5d Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 25 Mar 2013 11:55:31 -0700
Subject: [PATCH] tools.coverage: Fix docs

---
 basis/tools/coverage/coverage-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/tools/coverage/coverage-docs.factor b/basis/tools/coverage/coverage-docs.factor
index df45a25cc4..386a867f79 100644
--- a/basis/tools/coverage/coverage-docs.factor
+++ b/basis/tools/coverage/coverage-docs.factor
@@ -7,7 +7,7 @@ IN: tools.coverage
 HELP: <coverage-state>
 { $values
     { "executed?" boolean }
-    { "coverage" coverage }
+    { "coverage-state" coverage-state }
 }
 { $description "Makes a coverage tuple. Users should not call this directly." } ;