diff --git a/collects/tests/typed-racket/succeed/prompt-tag.rkt b/collects/tests/typed-racket/succeed/prompt-tag.rkt
index 458a1ef7..bb367688 100644
--- a/collects/tests/typed-racket/succeed/prompt-tag.rkt
+++ b/collects/tests/typed-racket/succeed/prompt-tag.rkt
@@ -19,4 +19,13 @@
                (abort-current-continuation pt2 k))
              pt2)))
  pt2
- (λ: ([f : (Integer -> Integer)]) (f 5)))
\ No newline at end of file
+ (λ: ([f : (Integer -> Integer)]) (f 5)))
+
+;; Test the default handler
+(: pt3 (Prompt-Tag Integer ((-> Integer) -> Integer)))
+(define pt3 (make-continuation-prompt-tag))
+
+(+ 2
+   (call-with-continuation-prompt
+    (λ () (+ 1 (abort-current-continuation pt3 (λ () 5))))
+    pt3))
\ No newline at end of file
diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 49d84fb5..97cc9d07 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -2021,6 +2021,7 @@
 [call-with-continuation-prompt
  (-polydots (a b d c)
    (cl->*
+    (-> (-> b) (make-Prompt-Tag b (-> (-> d) d)) (Un b d))
     (-> (-> b) (make-Prompt-Tag b (->... '() (c c) d)) (->... '() (c c) d)
         (Un b d))
     (-> (-> b) Univ)))]