diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt
index 29e1a64b..e28cd47c 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt
@@ -12,5 +12,4 @@
            val
            (error (format "Assertion ~a failed on ~v" pred val)))))))
 
-(define (defined? v)
-  (not (equal? v (letrec ([x x]) x))))
+(define (defined? v) #t)