From d2c81b6baac2be44b20e13bb51c4a6b880c58c97 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Wed, 28 Aug 2013 11:11:42 -0400 Subject: [PATCH] Renamed set? to generic-set? in Typed Racket test. --- .../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 4fe7414f46..cb5366d3ff 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 (set? s0) s0) (Setof Any)) +(cast (and (generic-set? s0) s0) (Setof Any)) (generic-set? s0)