diff --git a/basis/random/random-docs.factor b/basis/random/random-docs.factor index 32641f5fc1..bb0fc57312 100755 --- a/basis/random/random-docs.factor +++ b/basis/random/random-docs.factor @@ -112,6 +112,8 @@ $nl { $subsection "random-protocol" } "Randomizing a sequence:" { $subsection randomize } +"Sampling a sequences:" +{ $subsection sample } "Deleting a random element from a sequence:" { $subsection delete-random } "Random numbers with " { $snippet "n" } " bits:"