From 0bbbb12b5aaeadb3bc65f29a93ca56f2cb20b1b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 17 Jun 2016 16:25:53 +0200
Subject: [PATCH] Removed my-reader.rkt, it shouldn't be needed if I manage to
 fix
 http://stackoverflow.com/questions/37867859/module-meta-language-in-racket

---
 typed/lang/reader.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/typed/lang/reader.rkt b/typed/lang/reader.rkt
index 0ee2104d..1c4bf7c5 100644
--- a/typed/lang/reader.rkt
+++ b/typed/lang/reader.rkt
@@ -10,8 +10,7 @@ hyper-literate/typed/lang/lang
 ;; scribble/lp files are not directly scribble'able.
 #:language-info (scribble-base-language-info)
 #:info (scribble-base-reader-info)
-(require "my-reader.rkt"
-         scribble/reader
+(require scribble/reader
          (only-in scribble/base/reader
                   scribble-base-reader-info
                   scribble-base-language-info))