From 625be3eab98ad327dc864379d8e3eb2c7aa57ed0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 12 Oct 2006 06:37:02 +0000 Subject: [PATCH] undo accidental commit svn: r4558 --- collects/readline/rep.ss | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/collects/readline/rep.ss b/collects/readline/rep.ss index fc9de67436..2bb64f2026 100644 --- a/collects/readline/rep.ss +++ b/collects/readline/rep.ss @@ -10,10 +10,4 @@ (error 'readline-input "invoke this library when the current-input-port is stdin")) - (current-prompt-read - (let ([orig-read (current-prompt-read)] - [orig-input (current-input-port)]) - (lambda () - (if (eq? (current-input-port) orig-input) - (read-cmdline-syntax) - (orig-read)))))) + (current-prompt-read read-cmdline-syntax))