From c723d520c92c323a46b946d6664f7bad740d600c Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 10 Jun 2015 17:34:28 +0200
Subject: [PATCH] Update to latest scala-smtlib
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index 893b39623..40f4e2a8e 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -82,6 +82,6 @@ object Leon extends Build {
def project(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
lazy val bonsai = project("git://github.com/colder/bonsai.git", "0fec9f97f4220fa94b1f3f305f2e8b76a3cd1539")
- lazy val scalaSmtLib = project("git://github.com/regb/scala-smtlib.git", "260fdaa9e81f76a057d78b5e1a8a378a50dfc21b")
+ lazy val scalaSmtLib = project("git://github.com/regb/scala-smtlib.git", "711e9a1ef994935482bc83ff3795a94f637f0a04")
}
}
--
GitLab