diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 9dd8368c..f645781a 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -34,7 +34,8 @@
 
 ;Section 9.2
 
-[raise (Univ . -> . (Un))]
+[raise (cl->* (Univ . -> . (Un))
+	      (Univ Univ . -> . (Un)))]
 
 [error
  (cl->* (-> Sym (Un))