diff --git a/collects/typed-scheme/infer/infer-unit.rkt b/collects/typed-scheme/infer/infer-unit.rkt
index 0877f8cf81..e5fff32341 100644
--- a/collects/typed-scheme/infer/infer-unit.rkt
+++ b/collects/typed-scheme/infer/infer-unit.rkt
@@ -529,7 +529,7 @@
                  [Contravariant T]
                  [Invariant 
                   (let ([gS (generalize S)])
-                    (printf "Inv var: ~a ~a ~a ~a\n" v S gS T)
+                    ;(printf "Inv var: ~a ~a ~a ~a\n" v S gS T)
                     (if (subtype gS T)
                         gS
                         S))]))]))