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 cb5366d3ff..4fe7414f46 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 @@ -37,5 +37,5 @@ (set-equal? s) (set-eqv? v) (set-eq? q) -(cast (and (generic-set? s0) s0) (Setof Any)) +(cast (and (set? s0) s0) (Setof Any)) (generic-set? s0)