diff --git a/collects/test-engine/test-engine.rkt b/collects/test-engine/test-engine.rkt index a6bd03ab9a..6e9dbb983a 100644 --- a/collects/test-engine/test-engine.rkt +++ b/collects/test-engine/test-engine.rkt @@ -173,6 +173,7 @@ (define/public (summarize-results port) (cond + ((not test-run-since-last-display?)) ((test-execute) (unless test-display (setup-display #f #f)) (send test-display install-info test-info)