Fix typo

2008-05-10 15:23:49 -05:00 · 2008-05-10 15:23:49 -05:00 · 2ef23e1fef
parent 4a9a1ba2b5
commit 2ef23e1fef
1 changed files with 1 additions and 1 deletions
--- a/extra/tools/time/time-docs.factor
+++ b/extra/tools/time/time-docs.factor
@ -16,7 +16,7 @@ ABOUT: "timing"
 HELP: benchmark
 { $values { "quot" "a quotation" }
          { "runtime" "an integer denoting milliseconds" } }
-{ $description "Runs a quotation, measuring the total wall clock time and the total time spent in the garbage collector." }
+      { $description "Runs a quotation, measuring the total wall clock time." }
 { $notes "A nicer word for interactive use is " { $link time } "." } ;

 HELP: time