Typo.
This commit is contained in:
parent
fe67b0f31d
commit
e659e188ea
|
@ -43,7 +43,7 @@
|
|||
;; a single sub.
|
||||
(define labels+filters
|
||||
`(("Report missed optimizations?" . ,missed-opt-report-entry?)
|
||||
("Report optimization?" . ,opt-report-entry?)))
|
||||
("Report optimizations?" . ,opt-report-entry?)))
|
||||
(define filters (map cdr labels+filters)) ; all enabled by default
|
||||
(define check-boxes
|
||||
;; We can't create the actual check-box% here since we don't know its
|
||||
|
|
Loading…
Reference in New Issue
Block a user