Univ -> ManyUniv

original commit: 5fe8841c9951bce9453dae77ca3e4768d6a59c3e
2012-11-30 14:53:49 -05:00 · 2012-11-30 14:53:49 -05:00 · 711e418eec
commit 711e418eec
parent fec01c3f97
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-racket/base-env/base-contracted.rkt
+++ b/collects/typed-racket/base-env/base-contracted.rkt
@ -35,4 +35,4 @@
 ;; set up the type environment
 (define-initial-env initialize-contracted
  [default-continuation-prompt-tag
-    (-> (make-Prompt-Tagof Univ (-> ManyUniv Univ)))])
+    (-> (make-Prompt-Tagof ManyUniv (-> ManyUniv ManyUniv)))])