From a0ccf20b30a88b26a4eea3eb9f37f836a15cd756 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Fri, 15 Jul 2011 12:54:09 -0600 Subject: [PATCH] macro-stepper: disable taint display until correct Merge to release branch (cherry picked from commit 91a2e283a672453b462e3c88444cf53691c3ba8e) --- collects/macro-debugger/syntax-browser/properties.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/macro-debugger/syntax-browser/properties.rkt b/collects/macro-debugger/syntax-browser/properties.rkt index fde507ef0c..65dbcafadd 100644 --- a/collects/macro-debugger/syntax-browser/properties.rkt +++ b/collects/macro-debugger/syntax-browser/properties.rkt @@ -203,7 +203,8 @@ (display-extra-source-info stx) (display-symbol-property-info stx) (display-marks stx) - (display-taint stx)) + ;; Disable until correct: + (when #f (display-taint stx))) ;; display-source-info : syntax -> void (define/private (display-source-info stx)