From 4ae271ec3a96e42d5f102425e71829e4d6880315 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. original commit: e0f4ec56c46109e0c4051c299925f84c3df67f84 --- 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 2cbccf32..5c3f2fc6 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))