From 79bcda6d1e3146a6b74b7abf9cc9a9b91df85605 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 11 Aug 2010 19:20:37 -0700 Subject: [PATCH] tools.time: fix documentation error (reported by Mitchell N Charity) --- basis/tools/time/time-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/tools/time/time-docs.factor b/basis/tools/time/time-docs.factor index a3b8e9fc7e..f821c59941 100644 --- a/basis/tools/time/time-docs.factor +++ b/basis/tools/time/time-docs.factor @@ -16,7 +16,7 @@ ABOUT: "timing" HELP: benchmark { $values { "quot" quotation } - { "runtime" "the runtime in microseconds" } } + { "runtime" "the runtime in nanoseconds" } } { $description "Runs a quotation, measuring the total wall clock time." } { $notes "A nicer word for interactive use is " { $link time } "." } ;