diff --git a/collects/typed-racket/base-env/base-contracted.rkt b/collects/typed-racket/base-env/base-contracted.rkt
index 37ec7027d1..122ad3bffb 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)))])