fix(deps): update dependency tools.aqua:z3-turnkey to v4.12.4 (#5625)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
INRIA · Jan 18, 2024 · 1ac4b4d · 1ac4b4d
1 parent 404b870
commit 1ac4b4d
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.6.0'
-    implementation group: 'tools.aqua', name: 'z3-turnkey', version: '4.12.2.1'
+    implementation group: 'tools.aqua', name: 'z3-turnkey', version: '4.12.4'
     testImplementation("org.junit.jupiter:junit-jupiter:5.10.1")
 }