diff --git a/subprojects/common/ltl-cli/build.gradle.kts b/subprojects/common/ltl-cli/build.gradle.kts index 9d77f35f1f..227805593a 100644 --- a/subprojects/common/ltl-cli/build.gradle.kts +++ b/subprojects/common/ltl-cli/build.gradle.kts @@ -15,9 +15,9 @@ */ plugins { id("kotlin-common") - id("cli-tool") } dependencies { implementation(project(":theta-analysis")) + implementation(Deps.clikt) }