From 361d07b4da4ed185c11306284105ef34c2dd18fe Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Sun, 2 Oct 2016 19:52:25 +0200
Subject: [PATCH] Updated scala-smtlib version for TIP parser overrides
---
build.sbt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index 8de5744b5..193d30d2c 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", "88835c02ca2528e888b06bc48e4e93e52dc5f4b5")
+lazy val scalaSmtlib = ghProject("git://github.com/regb/scala-smtlib.git", "3ac1a4d89b828ca4c3437ca5b83ed320289c0156")
lazy val root = (project in file("."))
.configs(IntegrationTest)
--
GitLab