diff --git a/build.sbt b/build.sbt
index 193d30d2cca54a05859b9fa8322e4f4a038e70b3..f95639cec7eeb5d811caa72c8ff5d911f7a17b0d 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)