Fix for new ->i syntax.

original commit: d1835175d7cc0cab1bc717b052c1d080e7f443f3
2010-09-10 18:38:02 -04:00 · 2010-09-10 18:38:02 -04:00 · 70a3eb6153
commit 70a3eb6153
parent 087b5fd8f7
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-scheme/rep/filter-rep.rkt
+++ b/collects/typed-scheme/rep/filter-rep.rkt
@ -49,7 +49,7 @@
    [#:contract (->i ([t any/c]
                      [e any/c])
                     (#:syntax [stx #f])
-                     #:pre-cond (t e)
+                     #:pre (t e)
                     (and (cond [(Bot? t) #t]
                                [(Bot? e) (Top? t)]
                                [else (Filter/c-predicate? t)])