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))