*-docs: replace double spaces with single spaces

[factor.git] / basis / prettyprint / prettyprint-docs.factor

diff --git a/basis/prettyprint/prettyprint-docs.factor b/basis/prettyprint/prettyprint-docs.factor
index c6dfc908b2c2da0b1016ea8e54310ac6a0134c54..03f3f93b1eae1631a79dff0ac4f842af4f9fef72 100644 (file)
--- a/basis/prettyprint/prettyprint-docs.factor
+++ b/basis/prettyprint/prettyprint-docs.factor
@@ -44,7 +44,7 @@ ARTICLE: "prettyprint-variables" "Prettyprint control variables"
 ARTICLE: "prettyprint-limitations" "Prettyprinter limitations"
 "When using the prettyprinter as a serialization mechanism, keep the following points in mind:"
 { $list
-    { "When printing words, " { $link POSTPONE: USING: } " declarations are only output if the " { $link pprint-use } " or " { $link unparse-use } "  words are used." }
+    { "When printing words, " { $link POSTPONE: USING: } " declarations are only output if the " { $link pprint-use } " or " { $link unparse-use } " words are used." }
     { "Long output will be truncated if certain " { $link "prettyprint-variables" } " are set." }
     "Shared structure is not reflected in the printed output; if the output is parsed back in, fresh objects are created for all literal denotations."
     { "Circular structure is not printed in a readable way. For example, try this:"