diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt
index 2a1d3ff9..8b067b99 100644
--- a/collects/typed-racket/private/type-contract.rkt
+++ b/collects/typed-racket/private/type-contract.rkt
@@ -379,7 +379,6 @@
                                 #,(contract-kind->keyword
 				   (current-contract-kind)))])
                    n*))))]
-        [(Value: #f) #'false/c]
         [(Instance: (? Mu? t))
          (t->c (make-Instance (resolve-once t)))]
         [(Instance: (Class: _ _ (list (list name fcn) ...)))