From f095993e4c8f2c908a4e93e3b2df1543359b45df Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Tue, 19 Aug 2008 17:10:05 +0000 Subject: [PATCH] commented out duplicate method svn: r11335 --- collects/profj/tool.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss index 224f4526ed..cd5ce670ee 100644 --- a/collects/profj/tool.ss +++ b/collects/profj/tool.ss @@ -430,7 +430,7 @@ (define (java-lang-mixin level name number one-line dyn? manual-dirname) (when dyn? (dynamic? #t)) (class* object% (drscheme:language:language<%>) - (define/public (front-end/finished-complete-program settings) (void)) + #;(define/public (front-end/finished-complete-program settings) (void)) (define/public (extra-repl-information settings port) (void)) (define/public (get-reader-module) #f) (define/public (get-metadata a b) #f)