From dfd9455aec8a4459cbdac89549d5c99c4a811f2e Mon Sep 17 00:00:00 2001
From: RipplB <balrip.play@gmail.com>
Date: Wed, 20 Nov 2024 10:04:35 +0100
Subject: [PATCH] LTL checking capability

Add possibility of checking LTL properties with CEGAR.
CFA is now extended with optional accepting edges. Classes are available that convert LTL string to such CFA.
---
 subprojects/common/ltl-cli/build.gradle.kts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
 }