From 91c229be0990a949c9176be6ff9a7d3b83ef77f5 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Fri, 26 Aug 2011 14:05:19 -0400
Subject: [PATCH] Fix TR printing.

original commit: 62a71227446c417e4c9db820174abd713d0e199a
---
 collects/typed-scheme/tc-setup.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/typed-scheme/tc-setup.rkt b/collects/typed-scheme/tc-setup.rkt
index a52f9a13..e8dd1060 100644
--- a/collects/typed-scheme/tc-setup.rkt
+++ b/collects/typed-scheme/tc-setup.rkt
@@ -46,7 +46,7 @@
                      ;; do we report multiple errors
                      [delay-errors? #t]
                      ;; do we print the fully-expanded syntax?
-                     [print-syntax? #t]
+                     [print-syntax? #f]
                      ;; this parameter is just for printing types
                      ;; this is a parameter to avoid dependency issues
                      [current-type-names