diff --git a/collects/typed-scheme/utils/utils.rkt b/collects/typed-scheme/utils/utils.rkt index db37a19d..2cbccf32 100644 --- a/collects/typed-scheme/utils/utils.rkt +++ b/collects/typed-scheme/utils/utils.rkt @@ -124,7 +124,7 @@ at least theoretically. (error 'start-timing "Timing already started")) (set!-last-time (current-process-milliseconds)) (set!-initial-time last-time) - (log-debug (format "TR Timing: ~a at ~a" (pad "Starting" 40 #\space) initial-time)))]) + (log-debug (format "TR Timing: ~a at ~a" (pad "Starting" 32 #\space) initial-time)))]) (syntax-rules () [(_ msg) (begin @@ -133,7 +133,7 @@ at least theoretically. (let* ([t (current-process-milliseconds)] [old last-time] [diff (- t old)] - [new-msg (pad msg 40 #\space)]) + [new-msg (pad msg 32 #\space)]) (set!-last-time t) (log-debug (format "TR Timing: ~a at ~a\tlast step: ~a\ttotal: ~a" new-msg t diff (- t initial-time)))))])) (values (lambda _ #'(void)) (lambda _ #'(void)))))