From 890aa076a9c37e1db7c3863c0aaafebe27fc7468 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 15 Apr 2021 12:34:06 -0600
Subject: [PATCH] doc: simplify `readtable-mapping` result contract

---
 pkgs/racket-doc/scribblings/reference/readtables.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/racket-doc/scribblings/reference/readtables.scrbl b/pkgs/racket-doc/scribblings/reference/readtables.scrbl
index a283c8b7bc..8e9df6c184 100644
--- a/pkgs/racket-doc/scribblings/reference/readtables.scrbl
+++ b/pkgs/racket-doc/scribblings/reference/readtables.scrbl
@@ -166,8 +166,8 @@ character to be treated as whitespace, and it might use
 
 @defproc[(readtable-mapping [readtable readtable?] [char char?])
          (values (or/c char?
-                       (or/c 'terminating-macro
-                             'non-terminating-macro))
+                       'terminating-macro
+                       'non-terminating-macro)
                  (or/c #f procedure?)
                  (or/c #f procedure?))]{