[command] removed duplicate PROMPT

bennn · Oct 20, 2015 · 9a8d4f6 · 9a8d4f6
1 parent 900558e
commit 9a8d4f6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/ipoe/private/command/dbshell.rkt b/ipoe/private/command/dbshell.rkt
@@ -290,8 +290,6 @@
                     init-repl)
                   (init-repl))))))))))
 
-(define PROMPT #"ipoe:db> ")
-
 (define (init-repl [port #f])
   ;; -- Factor all REPL interactions through `respond`,
   ;;    so they get saved to the logfile