From 5a6731a017abbb1dd646ce8b3c7fd33985b30274 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 16 Jul 2014 09:54:16 -0500 Subject: [PATCH] fix mistake (that was introduced for debugging purposes) --- pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt index 59250dba5b..10e76c8884 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt @@ -405,7 +405,7 @@ profile todo: (define to-show-later (list-ref x 1)) (write-string line (current-error-port) 0 (- (string-length line) 4)) (write-special (new ellipsis-snip% [extra to-show-later]) (current-error-port)) - (display "!" (current-error-port))]))) + (display ":" (current-error-port))]))) (define (display-error-message exn msg) (cond