From 89a2ff451ec15d1bdb5a9ae006c59851002f560b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 11 Feb 2013 22:07:41 -0600 Subject: [PATCH] add long-missing space --- collects/redex/private/traces.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/private/traces.rkt b/collects/redex/private/traces.rkt index 1293c19275..1e10c2306f 100644 --- a/collects/redex/private/traces.rkt +++ b/collects/redex/private/traces.rkt @@ -521,7 +521,7 @@ [else (send status-message set-label (string-append (term-count (count-snips)) - "(possibly more to find)")) + " (possibly more to find)")) (send reduce-button enable #t)]))))]) (with-handlers ((exn:fail? (λ (x) (update-gui #t) (raise x)))) (do-some-reductions)