fix the help lints
parent
cd1020385e
commit
aa16756ae1
|
|
@ -34,7 +34,7 @@ HELP: random
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
HELP: random-32
|
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." } ;
|
{ $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
|
HELP: random-bytes
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue