Changing Typed Racket test back to using set?, the line I had just changed

was supposed to be the more specific predicate. original commit: aa4b31ef3f43edaf8fd06c797b0c8094e251fd0e
2013-09-02 16:07:15 -04:00 · 2013-09-02 16:07:15 -04:00 · 2711bcd07d
commit 2711bcd07d
parent fcd40c3f9e
1 changed files with 1 additions and 1 deletions
--- 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)