From 260ba83f020eec3ceb947b44ceedc8da6ea0f7ae Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Wed, 23 Dec 2020 14:37:42 +0100 Subject: [PATCH] utils.scrbl: Typo in pretty-print-set. --- scribblings/utils.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 44dba17..9e0d3bf 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -248,7 +248,7 @@ those symbols. @defproc[(pretty-print-set (s (Setof Any))) String]{ -Pretty print a set by listing its elements in alphabetic order. +Pretty prints a set by listing its elements in alphabetic order. @examples[#:eval utils-evaluator (pretty-print-set (set 'a 'b 1))