Switch to using get-port-name.

2011-06-22 19:25:16 -04:00 · 2011-06-22 19:25:16 -04:00 · c598ae2048
commit c598ae2048
parent 27f3eb3870
1 changed files with 1 additions and 1 deletions
--- 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