remove debugging printf

original commit: e28b60e44fde524c520c62f3fe54b9f6dac04b9d
2010-07-09 14:06:46 -04:00 · 2010-07-09 14:06:46 -04:00 · 91d6ac64d1
commit 91d6ac64d1
parent e103e44bc1
1 changed files with 1 additions and 1 deletions
--- 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))]))]))