From 964fad67f9ec5ac75c4c9d9cf4f1fdda7e581371 Mon Sep 17 00:00:00 2001
From: Scala Steward <me@scala-steward.org>
Date: Sun, 4 Aug 2019 20:26:39 +0200
Subject: [PATCH] Update specs2-scalacheck to 4.7.0

---
 build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index 8e132bf6..3681b631 100644
--- a/build.sbt
+++ b/build.sbt
@@ -280,7 +280,7 @@ lazy val offlineTest = project.in(file("tests/offline"))
   .settings(
     isabellePackage := "tests",
     parallelExecution in Test := false,
-    libraryDependencies += "org.specs2" %% "specs2-scalacheck" % "4.5.1"
+    libraryDependencies += "org.specs2" %% "specs2-scalacheck" % "4.7.0"
   )
 
 lazy val pureTest = project.in(file("tests/pure"))