diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
index c22a4a23b3..2b84de8077 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
@@ -439,7 +439,12 @@
                             (boolean? x))
                         (if (boolean? x) 1 x)
                         4))
-              Univ]
+              #:proc (get-let-name 
+                      x 0 
+                      (ret Univ
+                           (-FS 
+                            null
+                            (list (make-NotTypeFilter -Boolean null #'x) (make-TypeFilter (-val #f) null #'x)))))]
         
         ;; T-AbsPred
         [tc-e/t (let ([p? (lambda: ([x : Any]) (number? x))])