From 83dc3884aa340564739d61ce44755f7d34de6ce4 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 12 Feb 2015 23:44:19 -0500 Subject: [PATCH] Fix accessor type for with-tr-contracts test --- typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index d3df2b39..cb148a9f 100644 --- a/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -851,7 +851,6 @@ (list (make-arr* (list Univ) (or (and maybe-type (car maybe-type)) Univ) - #:filters -no-filter #:object (make-Path (list (make-FieldPE)) getter-id)))) (-> Univ (or (and maybe-type (car maybe-type)) -Bottom)