From aa4b31ef3f43edaf8fd06c797b0c8094e251fd0e Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Mon, 2 Sep 2013 16:07:15 -0400 Subject: [PATCH] Changing Typed Racket test back to using set?, the line I had just changed was supposed to be the more specific predicate. --- .../typed-racket-test/tests/typed-racket/succeed/set.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)