diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index 7785db10d1..56464b1ef4 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -196,7 +196,7 @@ (success? evt)))) site)))) - (define n-successes (length (filter success? group))) + (define n-successes (- (length (filter success? group)) n-unrollings)) (define n-failures (length (filter failure? group))) (define n-out-of-fuels (length (filter out-of-fuel? group)))