]> gitweb.factorcode.org Git - factor.git/commitdiff
fix the help lints
authorDoug Coleman <doug.coleman@gmail.com>
Wed, 30 Sep 2009 23:52:01 +0000 (18:52 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Wed, 30 Sep 2009 23:52:01 +0000 (18:52 -0500)
basis/random/random-docs.factor

index 79e38ec3b65160c0bb79dd3c15516cfd9d52dd1c..cd645750db7fbce8a727371a582d18738053e31f 100755 (executable)
@@ -34,7 +34,7 @@ HELP: random
 } ;
 
 HELP: random-32
-{ $values { "elt" "a 32-bit random integer" } }
+{ $values { "n" "a 32-bit random integer" } }
 { $description "Outputs 32 random bits. This word is more efficient than calling " { $link random } " because no scaling is done on the output." } ;
 
 HELP: random-bytes