build(deps): update dependency tools.aqua:z3-turnkey to v4.13.4

INRIA · Dec 18, 2024 · 87c1ecc · 87c1ecc
1 parent c7626ef
commit 87c1ecc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spoon-dataflow/build.gradle b/spoon-dataflow/build.gradle
@@ -23,7 +23,7 @@ repositories {
 dependencies {
     implementation group: 'fr.inria.gforge.spoon', name: 'spoon-core', version: '+'
     implementation group: 'commons-cli', name: 'commons-cli', version: '1.9.0'
-    implementation group: 'tools.aqua', name: 'z3-turnkey', version: '4.13.0.1'
+    implementation group: 'tools.aqua', name: 'z3-turnkey', version: '4.13.4'
     testImplementation("org.junit.jupiter:junit-jupiter:5.11.4")
 }