diff --git a/collects/typed-scheme/types/filter-ops.rkt b/collects/typed-scheme/types/filter-ops.rkt
index 3f7832bf0e..7621c2a7b1 100644
--- a/collects/typed-scheme/types/filter-ops.rkt
+++ b/collects/typed-scheme/types/filter-ops.rkt
@@ -146,7 +146,7 @@
     (case-lambda [() -top]
                  [(f) f]
                  [fs (make-AndFilter fs)]))
-  (let loop ([fs (remove-duplicates args equal? #:key Rep-seq)] [result null])
+  (let loop ([fs (remove-duplicates args eq? #:key Rep-seq)] [result null])
     (if (null? fs)
         (match result
           [(list) -top]