diff --git a/collects/typed-scheme/optimizer/tool/report.rkt b/collects/typed-scheme/optimizer/tool/report.rkt index 28444573bd..e4225a2a5e 100644 --- a/collects/typed-scheme/optimizer/tool/report.rkt +++ b/collects/typed-scheme/optimizer/tool/report.rkt @@ -47,6 +47,8 @@ (cond [(and good-portname-cache ; cache is populated (equal? path good-portname-cache)) #t] + [good-portname-cache ; cache is populated, but we have the wrong file + #f] ;; no cache, ask directly [(send this port-name-matches? path) (set! good-portname-cache path) ; populate cache