diff --git a/collects/drscheme/private/auto-language.ss b/collects/drscheme/private/auto-language.ss
index d6f3cceb89..53f0e7f827 100644
--- a/collects/drscheme/private/auto-language.ss
+++ b/collects/drscheme/private/auto-language.ss
@@ -1,4 +1,4 @@
-#lang typed-scheme
+#lang typed-scheme/no-check
 
 (require typed/framework/framework 
 	 typed/mred/mred