Added dep to build

ftsrg · Mar 10, 2024 · 09af31a · 09af31a
1 parent 43b63f9
commit 09af31a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/build.gradle.kts b/subprojects/xcfa/xcfa-cli/build.gradle.kts
@@ -38,6 +38,7 @@ dependencies {
     implementation(project(":theta-litmus2xcfa"))
     implementation(project(":theta-graph-solver"))
     implementation(project(":theta-cat"))
+    implementation(files(rootDir.resolve(Deps.z3)))
     implementation("com.zaxxer:nuprocess:2.0.5")
     implementation("org.jetbrains.kotlin:kotlin-scripting-jsr223:${Versions.kotlin}")
     testImplementation(kotlin("script-runtime"))