diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt index 928ebc4cb8..876f259f81 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 4205d073bd..849ff945b1 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 456c2a6340..257a2ae40c 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 02c0d1dcea..6da86b0d5f 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 be96569bf3..2f51e90f83 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