diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt
index 88e0e121..622f8449 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt
@@ -39,7 +39,7 @@
   ;(unless let-binding (error 'ohno))
   ;(printf "in type-annotation:~a\n" (syntax->datum stx))
   (syntax-parse stx
-    [(~or v:type-label^ v:type-ascription^) (pt (attribute v.value))]
+    [(~or v:type-label^) (pt (attribute v.value))]
     [i:typed-id^
      (maybe-finish-register-type stx)
      (attribute i.type)]