From 15ad6d8edb1ed55c9e2c36e3b1328bfa1d95bd58 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 original 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 fde507e..65dbcaf 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)