From 0460d91edb3fffb026995a828712f6a2d46a7b24 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 1 Feb 2012 17:15:53 -0500
Subject: [PATCH] Fix type of `raise'.

Closes PR 12525.

original commit: 7c1c0c96c0752c7747eb3dba5a30585f8de7ef13
---
 collects/typed-racket/base-env/base-env.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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))