steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tools.time: fix documentation error (reported by Mitchell N Charity)

db4
Slava Pestov 2010-08-11 19:20:37 -07:00
parent e60ae6f3be
commit 79bcda6d1e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/tools/time/time-docs.factor
View File

@ -16,7 +16,7 @@ ABOUT: "timing"
HELP: benchmark HELP: benchmark
{ $values { "quot" quotation } { $values { "quot" quotation }
{ "runtime" "the runtime in microseconds" } } { "runtime" "the runtime in nanoseconds" } }
{ $description "Runs a quotation, measuring the total wall clock time." } { $description "Runs a quotation, measuring the total wall clock time." }
{ $notes "A nicer word for interactive use is " { $link time } "." } ; { $notes "A nicer word for interactive use is " { $link time } "." } ;