Remove out of date comment.
original commit: 6ba0c1416e535ae13192a1ca8dff69f90a635a8f
This commit is contained in:
parent
7ac3b4632e
commit
fa90cdc1a6
|
@ -53,8 +53,6 @@
|
|||
(irritants merged-irritants badness)
|
||||
#:prefab)
|
||||
|
||||
;; Attempts to merge the incoming missed optimization with existing ones.
|
||||
;; Otherwise, adds the new one to the log.
|
||||
(define (log-missed-optimization kind msg stx [irritants '()])
|
||||
(when (anyone-listening?)
|
||||
(let (;; for convenience, if a single irritant is given, wrap it in a list
|
||||
|
|
Loading…
Reference in New Issue
Block a user