Restore optimization for two DrRacket TR files

Commit 2b9b16b165 fixed the issue with the send expansion, so this can be re-enabled.
2014-02-20 15:02:41 -05:00 · 2014-02-20 15:02:41 -05:00 · 745c6532d1
commit 745c6532d1
parent d35fb82f4a
2 changed files with 2 additions and 2 deletions
--- a/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt
@ -1,4 +1,4 @@
-#lang typed/racket/base #:no-optimize
+#lang typed/racket/base

 (require typed/framework/framework 
 	 typed/mred/mred
--- a/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt
@ -1,4 +1,4 @@
-#lang typed/racket/base #:no-optimize
+#lang typed/racket/base

 (require typed/mred/mred
         typed/framework/framework