diff --git a/collects/mzlib/contract.rkt b/collects/mzlib/contract.rkt
index 5159f6c..de5df8c 100644
--- a/collects/mzlib/contract.rkt
+++ b/collects/mzlib/contract.rkt
@@ -72,9 +72,3 @@
  (all-from-out racket/contract/private/prop
                racket/contract/private/blame))
 
-
-;; copied here because not provided by racket/contract anymore
-(define (flat-contract/predicate? pred)
-  (or (flat-contract? pred)
-      (and (procedure? pred)
-           (procedure-arity-includes? pred 1))))
diff --git a/collects/mzlib/private/contract-struct.rkt b/collects/mzlib/private/contract-struct.rkt
index 733a148..55d5d03 100644
--- a/collects/mzlib/private/contract-struct.rkt
+++ b/collects/mzlib/private/contract-struct.rkt
@@ -66,7 +66,7 @@
                   ...
                   [ctc-name-x (contract-name ctc-x)]
                   ...)
-              (build-flat-contract
+              (flat-named-contract
                (build-compound-type-name 'struct/c 'struct-name ctc-x ...)
                (λ (val)
                  (and (predicate-id val)