diff --git a/collects/typed-scheme/private/signatures.ss b/collects/typed-scheme/private/signatures.ss
index 9f8b0dba0e..0d37caee97 100644
--- a/collects/typed-scheme/private/signatures.ss
+++ b/collects/typed-scheme/private/signatures.ss
@@ -36,7 +36,7 @@
   (type-check tc-toplevel-form))
 
 (define-signature tc-expr^
-  (tc-expr tc-expr/check tc-expr/check/t check-below tc-literal tc-exprs tc-exprs/check tc-expr/t #;check-expr))
+  (tc-expr tc-expr/check tc-expr/check/t check-below tc-exprs tc-exprs/check tc-expr/t))
 
 (define-signature check-subforms^
   (check-subforms/ignore check-subforms/with-handlers check-subforms/with-handlers/check))