From c598ae2048eb5eb0ce162bc85f5d0e8aa3383b1c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 22 Jun 2011 19:25:16 -0400 Subject: [PATCH] Switch to using get-port-name. --- collects/typed-scheme/optimizer/tool/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/tool/tool.rkt b/collects/typed-scheme/optimizer/tool/tool.rkt index b20fb99b10..0dfbcc4506 100644 --- a/collects/typed-scheme/optimizer/tool/tool.rkt +++ b/collects/typed-scheme/optimizer/tool/tool.rkt @@ -26,7 +26,7 @@ ;; performance-report-callback : drracket:unit:frame<%> -> void (define (performance-report-callback drr-frame) (define defs (send drr-frame get-definitions-text)) ; : text% - (define portname (send defs get-filename)) + (define portname (send defs get-port-name)) (message-box "Performance Report" (with-output-to-string