From 2ef23e1fef52ea71cd81f07231b5ad744404b3d0 Mon Sep 17 00:00:00 2001
From: "U-SLAVA-DFB8FF805\\Slava" <Slava@slava-dfb8ff805.(none)>
Date: Sat, 10 May 2008 15:23:49 -0500
Subject: [PATCH] Fix typo

---
 extra/tools/time/time-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 extra/tools/time/time-docs.factor

diff --git a/extra/tools/time/time-docs.factor b/extra/tools/time/time-docs.factor
old mode 100644
new mode 100755
index 5fedba1700..fe3d709f78
--- 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