From 5c54f3a5aceaf5b7e8e94049c98e5b88d3055dd7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 5 Feb 2010 03:21:56 +0000 Subject: [PATCH] Use `readline-input' for the port name, since `readline' makes error messages confusing. svn: r17977 --- collects/readline/pread.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/readline/pread.ss b/collects/readline/pread.ss index 35931fa3af..3ce370f151 100644 --- a/collects/readline/pread.ss +++ b/collects/readline/pread.ss @@ -191,7 +191,7 @@ (bytes-set! tgt left LF) (set! buffer #f) (add1 left)]))]))) - (make-input-port 'readline reader #f close!))) + (make-input-port 'readline-input reader #f close!))) ;; -------------------------------------------------------------------------- ;; Reading functions