diff --git a/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt b/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt
index 50ce7bf603..360ad66e2c 100644
--- a/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt
@@ -14,8 +14,8 @@ TR missed opt: case-arrow.rkt 21:2 (+ min (/ (* (- max min) x) p)) -- all args f
 (define A (expt 7 5))
 (define x 42)
 
-(: gen-random : (case-> (Integer Integer → Exact-Rational)
-                        (Float   Float   → Float)))
+(: gen-random : (case→ (Integer Integer → Exact-Rational)
+                       (Float   Float   → Float)))
 (define (gen-random min max)
   (set! x (modulo (* A x) p))
   (+ min (/ (* (- max min) x) p)))
diff --git a/collects/typed-racket/base-env/base-types-extra.rkt b/collects/typed-racket/base-env/base-types-extra.rkt
index f686e74bd6..843137058e 100644
--- a/collects/typed-racket/base-env/base-types-extra.rkt
+++ b/collects/typed-racket/base-env/base-types-extra.rkt
@@ -18,7 +18,8 @@
 
 (provide (rename-out [All ∀]
                      [U Un]
-		     [-> →]
+                     [-> →]
+                     [case-> case→]
                      [List Tuple]
                      [Rec mu]
                      [Parameterof Parameter]))