diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 6600a1f7f2..569e706358 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -130,6 +130,7 @@
      (eof-object? (make-pred-ty (-val eof)))
      [null (-val null)]
      (number? (make-pred-ty N))
+     [char? (make-pred-ty -Char)]
      (integer? (make-pred-ty -Integer))
      (boolean? (make-pred-ty B))
      (add1 (cl->*