diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index b66da920f8..58412b00e2 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1408,7 +1408,7 @@
         
         [tc-e (let: ([x : Float 0.0])
                 (= 0 x))
-              #:ret (ret -Boolean (-FS -top -top) (make-NoObject))]
+              #:ret (ret -Boolean (-FS -top -top) (make-Empty))]
         
         [tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]
         )