From e0f4ec56c46109e0c4051c299925f84c3df67f84 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 30 Aug 2011 15:55:15 -0400 Subject: [PATCH] Turn off TR timing. --- collects/typed-scheme/utils/utils.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/utils/utils.rkt b/collects/typed-scheme/utils/utils.rkt index 2cbccf325e..5c3f2fc64a 100644 --- a/collects/typed-scheme/utils/utils.rkt +++ b/collects/typed-scheme/utils/utils.rkt @@ -104,7 +104,7 @@ at least theoretically. #'(void))) ;; some macros to do some timing, only when `timing?' is #t -(define-for-syntax timing? #t) +(define-for-syntax timing? #f) (define last-time #f) (define initial-time #f) (define (set!-initial-time t) (set! initial-time t))