diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt index 928ebc4c..876f259f 100644 --- a/collects/typed-scheme/lang/reader.rkt +++ b/collects/typed-scheme/lang/reader.rkt @@ -10,7 +10,4 @@ typed-scheme (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt index 4205d073..849ff945 100644 --- a/collects/typed/racket/base/lang/reader.rkt +++ b/collects/typed/racket/base/lang/reader.rkt @@ -9,9 +9,6 @@ typed/racket/base (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info diff --git a/collects/typed/racket/lang/reader.rkt b/collects/typed/racket/lang/reader.rkt index 456c2a63..257a2ae4 100644 --- a/collects/typed/racket/lang/reader.rkt +++ b/collects/typed/racket/lang/reader.rkt @@ -9,9 +9,6 @@ typed/racket (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info diff --git a/collects/typed/scheme/base/lang/reader.rkt b/collects/typed/scheme/base/lang/reader.rkt index 02c0d1dc..6da86b0d 100644 --- a/collects/typed/scheme/base/lang/reader.rkt +++ b/collects/typed/scheme/base/lang/reader.rkt @@ -9,9 +9,6 @@ typed/scheme/base (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info diff --git a/collects/typed/scheme/lang/reader.rkt b/collects/typed/scheme/lang/reader.rkt index be96569b..2f51e90f 100644 --- a/collects/typed/scheme/lang/reader.rkt +++ b/collects/typed/scheme/lang/reader.rkt @@ -9,9 +9,6 @@ typed/scheme (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info