diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 91c525151e..e2a15edbdc 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -719,8 +719,7 @@
 [hash-ref! (-poly (a b)
                   (cl-> [((-HT a b) a b) b]
                         [((-HT a b) a (-> b)) b]))]
-[hash-has-key? (-poly (a b) (cl-> [((-HT a b) a) B]
-                                  [(-HashTop a) B]))]
+[hash-has-key? (-HashTop Univ . -> . B)]
 [hash-update! (-poly (a b)
                      (cl-> [((-HT a b) a (-> b b)) -Void]
                            [((-HT a b) a (-> b b) (-> b)) -Void]))]