diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt index aeeadc00ed..a5ba78d5ae 100644 --- a/collects/lang/htdp-langs.rkt +++ b/collects/lang/htdp-langs.rkt @@ -19,7 +19,6 @@ compiler/embed wxme/wxme setup/dirs - test-engine/racket-tests ;; this module is shared between the drscheme's namespace (so loaded here) ;; and the user's namespace in the teaching languages @@ -548,22 +547,6 @@ (get-module) (htdp-lang-settings-teachpacks settings) (drscheme:rep:current-rep))) - - (define/override (front-end/interaction port settings) - (let ([t (super front-end/interaction port settings)] - [done? #f]) - (λ () - (cond - [done? eof] - [else - (let ([ans (t)]) - (cond - [(eof-object? ans) - (set! done? #t) - #`(test)] - [else - ans]))])))) - (define keywords #f) (define/augment (capability-value key)