From 6fac649e7a0a89412b20b6d937df50d8583dde15 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 7 Jul 2008 12:27:08 -0400
Subject: [PATCH] remove trace

original commit: e06a22c29b3e36cc4f51822b3d4b8ddcff6d682e
---
 collects/typed-scheme/private/type-utils.ss | 2 --
 1 file changed, 2 deletions(-)

diff --git a/collects/typed-scheme/private/type-utils.ss b/collects/typed-scheme/private/type-utils.ss
index 08a022b6..e6ba3654 100644
--- a/collects/typed-scheme/private/type-utils.ss
+++ b/collects/typed-scheme/private/type-utils.ss
@@ -115,8 +115,6 @@
                                   (map (lambda (e) (sub-eff sb e)) els-eff))])
        target))
 
-(trace substitute-dots)
-
 ;; substitute many variables
 ;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]]
 ;; subst-all : substition Type -> Type