From eebce6a10d96aae350cfaa4fdf31aad3b2b8a514 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 7 Oct 2016 15:15:44 +0200
Subject: [PATCH] Update to latest scala-smtlib for tip parsing and positions
---
build.sbt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index 193d30d2c..f95639cec 100644
--- a/build.sbt
+++ b/build.sbt
@@ -52,7 +52,7 @@ testOptions in IntegrationTest := Seq(Tests.Argument("-oDF"))
def ghProject(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
lazy val bonsai = ghProject("git://github.com/colder/bonsai.git", "10eaaee4ea0ff6567f4f866922cb871bae2da0ac")
-lazy val scalaSmtlib = ghProject("git://github.com/regb/scala-smtlib.git", "3ac1a4d89b828ca4c3437ca5b83ed320289c0156")
+lazy val scalaSmtlib = ghProject("git://github.com/regb/scala-smtlib.git", "567ede66f8df3e5cfc3dbcd5d01b4e7a65fd0719")
lazy val root = (project in file("."))
.configs(IntegrationTest)
--
GitLab