undo accidental commit

svn: r4558
2006-10-12 06:37:02 +00:00 · 2006-10-12 06:37:02 +00:00 · 625be3eab9
commit 625be3eab9
parent fc7fca0915
1 changed files with 1 additions and 7 deletions
--- 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))