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

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
INRIA · Jan 30, 2024 · da0c252 · da0c252
1 parent 5641fde
commit da0c252
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.4'
+    implementation group: 'tools.aqua', name: 'z3-turnkey', version: '4.12.5'
     testImplementation("org.junit.jupiter:junit-jupiter:5.10.1")
 }