diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss
index 9f69097..bf96a1c 100644
--- a/collects/mzlib/contract.ss
+++ b/collects/mzlib/contract.ss
@@ -79,3 +79,10 @@
          flat-prop flat-pred? flat-get
          first-order-prop first-order-get
          (rename-out [or/c union]))
+
+
+;; copied here because not provided by scheme/contract anymore
+(define (flat-contract/predicate? pred)
+  (or (flat-contract? pred)
+      (and (procedure? pred)
+           (procedure-arity-includes? pred 1))))
\ No newline at end of file
diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss
index c32dc4c..4d0b8c9 100644
--- a/collects/tests/mzscheme/contract-mzlib-test.ss
+++ b/collects/tests/mzscheme/contract-mzlib-test.ss
@@ -4162,7 +4162,7 @@ so that propagation occurs.
   (test-name '(real-in 1 10) (real-in 1 10))
   (test-name '(string-len/c 3) (string/len 3))
   (test-name 'natural-number/c natural-number/c)
-  (test-name 'false/c false/c)
+  (test-name #f false/c)
   (test-name 'printable/c printable/c)
   (test-name '(symbols 'a 'b 'c) (symbols 'a 'b 'c))
   (test-name '(one-of/c 1 2 3) (one-of/c 1 2 3))