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)