From 711e418eecd241dd3ae7ef8011803efe7ced3cb5 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 30 Nov 2012 14:53:49 -0500 Subject: [PATCH] Univ -> ManyUniv original commit: 5fe8841c9951bce9453dae77ca3e4768d6a59c3e --- collects/typed-racket/base-env/base-contracted.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-contracted.rkt b/collects/typed-racket/base-env/base-contracted.rkt index 37ec7027..122ad3bf 100644 --- 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)))])