update versions

breandan · Aug 28, 2023 · 30c0ac9 · 30c0ac9
1 parent 4283cfd
commit 30c0ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -154,7 +154,7 @@ kotlin {
 //  implementation(files("$projectDir/libs/mpj-0.44.jar"))
 
         implementation("org.sosy-lab:common:0.3000-529-g6152d88")
-        implementation("org.sosy-lab:java-smt:4.0.2")
+        implementation("org.sosy-lab:java-smt:4.0.3")
 
         // val z3Version = "4.12.2-glibc_2.27"
         // runtimeOnly("org.sosy-lab:javasmt-solver-z3:$z3Version:com.microsoft.z3@jar")