From e28b60e44fde524c520c62f3fe54b9f6dac04b9d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 9 Jul 2010 14:06:46 -0400 Subject: [PATCH] remove debugging printf --- collects/typed-scheme/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))]))]))