Fix accessor type for with-tr-contracts test

2015-02-12 23:44:19 -05:00 · 2015-02-12 23:44:19 -05:00 · 83dc3884aa
commit 83dc3884aa
parent 888893d81b
1 changed files with 0 additions and 1 deletions
--- 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)