From 696e9143a6b5762c4ec41c464d71397efe786a35 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 10 Aug 2018 09:10:55 -0600
Subject: [PATCH] expander: declare readtable structure as `#:authentic`

---
 racket/src/expander/read/readtable.rkt | 3 ++-
 racket/src/racket/src/startup.inc      | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/racket/src/expander/read/readtable.rkt b/racket/src/expander/read/readtable.rkt
index 04ccf39dea..071295c31d 100644
--- a/racket/src/expander/read/readtable.rkt
+++ b/racket/src/expander/read/readtable.rkt
@@ -30,7 +30,8 @@
                    ;; 'no-delimit, or a character whose default to use;
                    ;; absence of a mapping is the default for that character
                    delimiter-ht)
-  #:property prop:readtable #t)
+  #:property prop:readtable #t
+  #:authentic)
 
 (define (make-readtable rt . args)
   (unless (or (not rt) (readtable? rt))
diff --git a/racket/src/racket/src/startup.inc b/racket/src/racket/src/startup.inc
index 5a1139aa29..1f0b7e7ce4 100644
--- a/racket/src/racket/src/startup.inc
+++ b/racket/src/racket/src/startup.inc
@@ -48224,7 +48224,7 @@ static const char *startup_source =
 " 4"
 " 0"
 " #f"
-"(list(cons prop:readtable #t))"
+"(list(cons prop:authentic #t)(cons prop:readtable #t))"
 "(current-inspector)"
 " #f"
 " '(0 1 2 3)"