From 57ee2553b3894b58c6b396ae3d03bdb560f770c9 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 7 Jul 2018 11:14:57 -0500 Subject: [PATCH] grouping: Fix some spacing. --- basis/grouping/grouping-docs.factor | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/basis/grouping/grouping-docs.factor b/basis/grouping/grouping-docs.factor index 83b6dcbdb9..0126935806 100644 --- a/basis/grouping/grouping-docs.factor +++ b/basis/grouping/grouping-docs.factor @@ -123,7 +123,9 @@ HELP: circular-clump { $description "Splits the sequence into overlapping clumps of " { $snippet "n" } " elements, wrapping around the end of the sequence, and collects the clumps into a new array." } { $notes "For an empty sequence, the result is an empty sequence." } { $examples - { $example "USING: grouping prettyprint ;" "{ 3 1 3 3 7 } 2 circular-clump ." "{ { 3 1 } { 1 3 } { 3 3 } { 3 7 } { 7 3 } }" } + { $example "USING: grouping prettyprint ;" + "{ 3 1 3 3 7 } 2 circular-clump ." + "{ { 3 1 } { 1 3 } { 3 3 } { 3 7 } { 7 3 } }" } } ; HELP: