diff --git a/collects/compiler/info.ss b/collects/compiler/info.ss index 3d6a517bac..93c0ca6d97 100644 --- a/collects/compiler/info.ss +++ b/collects/compiler/info.ss @@ -6,7 +6,4 @@ (define mzscheme-launcher-libraries (list "start.ss")) (define mzscheme-launcher-names (list "mzc")) (define mred-launcher-libraries (list "start.ss")) - (define mred-launcher-names (list "gmzc")) - - (define compile-omit-files - '("embedr.ss"))) + (define mred-launcher-names (list "gmzc")))