From 2dda7c9888de6c799606e741624fa8f89b6036ad Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Tue, 26 Nov 2002 12:04:44 +0000
Subject: [PATCH] Removed repl procedure: it wasn't working anyway.

---
 scsh/top.scm | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/scsh/top.scm b/scsh/top.scm
index 6dba92a..457a27c 100644
--- a/scsh/top.scm
+++ b/scsh/top.scm
@@ -507,8 +507,3 @@ end-option:	-s <script>	Specify script.
 		--		Interactive session.
 " (current-error-port)))
   (exit -1))
-
-
-(define (repl)
-  (command-loop (lambda () (set-batch-mode?! #f))
-		#f))