diff --git a/QuickCheck-safe.cabal b/QuickCheck-safe.cabal
--- a/QuickCheck-safe.cabal
+++ b/QuickCheck-safe.cabal
@@ -1,5 +1,5 @@
 name:                QuickCheck-safe
-version:             0.1.0.6
+version:             0.1.0.7
 synopsis:            Safe reimplementation of QuickCheck's core
 description:
   QuickCheck-safe reimplements the quickCheck functionality with a pure
@@ -33,8 +33,8 @@
 library
   hs-source-dirs:    src
   build-depends:
-    QuickCheck >= 2.7.3 && < 2.14,
-    containers >= 0.5 && < 0.7,
+    QuickCheck >= 2.7.3 && < 2.19,
+    containers >= 0.5 && < 0.9,
     base >= 4.6 && < 5
   exposed-modules:
     Test.QuickCheck.Safe
diff --git a/src/Test/QuickCheck/Safe.hs b/src/Test/QuickCheck/Safe.hs
--- a/src/Test/QuickCheck/Safe.hs
+++ b/src/Test/QuickCheck/Safe.hs
@@ -235,6 +235,9 @@
             failingLabels = sLabels res,
             failingClasses = S.empty,
 #endif
+#if MIN_VERSION_QuickCheck(2,16,0)
+            witnesses = [],
+#endif
             output = "*** Failed! " ++ reason ++
                   " (after " ++ count (pass + 1) "test" ++
                   (if shr > 0 then " and " ++ count shr "shrink" else "") ++