From 218fdcceb400636d226e9c29f6a9f29442884a06 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 14 Jul 2011 14:09:57 -0400 Subject: [PATCH] Fix highlight removal. --- collects/typed-scheme/optimizer/tool/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/tool/tool.rkt b/collects/typed-scheme/optimizer/tool/tool.rkt index b7d0dc7e3b..5eb6f65192 100644 --- a/collects/typed-scheme/optimizer/tool/tool.rkt +++ b/collects/typed-scheme/optimizer/tool/tool.rkt @@ -46,7 +46,7 @@ (unless (= max-badness 0) ; no missed opts, color table code would error (set! color-table (make-color-table max-badness))) (define new-highlights (map highlight-entry report)) - (set! highlights (append (apply append new-highlights) highlights))) + (set! highlights (append new-highlights highlights))) (define (clear-highlights) (for ([h (in-list highlights)])