diff --git a/collects/typed-scheme/typecheck/tc-envops.ss b/collects/typed-scheme/typecheck/tc-envops.ss
index 6ef796f00a..c6d8a22344 100644
--- a/collects/typed-scheme/typecheck/tc-envops.ss
+++ b/collects/typed-scheme/typecheck/tc-envops.ss
@@ -21,7 +21,7 @@
         [(zero? i) (cons (f (car l)) (cdr l))]
         [else (cons (car l) (replace-nth (cdr l) (sub1 i) f))]))
 
-(trace replace-nth)
+;(trace replace-nth)
 
 (define/contract (update t lo)
   (Type/c Filter/c . -> . Type/c)