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 a99975f7..e1e6717f 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
@@ -875,7 +875,6 @@
 [set-eqv? (-poly (e) (-> (-set e) B))]
 [set-eq? (-poly (e) (-> (-set e) B))]
 
-[in-set (-poly (e) (-> (-set e) (-seq e)))]
 [list->set    (-poly (e) (-> (-lst e) (-set e)))]
 [list->seteq  (-poly (e) (-> (-lst e) (-set e)))]
 [list->seteqv (-poly (e) (-> (-lst e) (-set e)))]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt
index 4fe7414f..fbba06f9 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt
@@ -39,3 +39,6 @@
 (set-eq? q)
 (cast (and (set? s0) s0) (Setof Any))
 (generic-set? s0)
+(in-set s)
+(for ([x (in-set s)])
+  s0)