undid previous accidental commit

svn: r13227
This commit is contained in:
Robby Findler 2009-01-19 18:03:27 +00:00
parent af810c8a6f
commit 9386174c50

View File

@ -1115,8 +1115,6 @@ profile todo:
(send src lock #f))))))
sorted)
(printf "sorted ~s\n" sorted)
;; clear out old annotations (and thaw colorers)
(when internal-clear-test-coverage-display
(internal-clear-test-coverage-display)