diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt
index cf411aba..0a005314 100644
--- a/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -637,7 +637,6 @@ the typed racket language.
      (define/with-syntax (i* ...) i*s)
      (syntax/loc stx
        (begin (: i* t) ...
-              (: i  t) ...
               (provide (rename-out [i* i] ...))))]))
 
 (define-syntax (declare-refinement stx)