From 17be7fe5323ee4e35d7a75ef80b098d327865060 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Sun, 7 Jan 2024 18:19:42 +0100
Subject: [PATCH] Removed subprojects from settings.gradle

---
 settings.gradle.kts | 2 --
 1 file changed, 2 deletions(-)

diff --git a/settings.gradle.kts b/settings.gradle.kts
index 83f49352b2..13a39218a9 100644
--- a/settings.gradle.kts
+++ b/settings.gradle.kts
@@ -35,13 +35,11 @@ include(
 
     "xcfa/xcfa",
     "xcfa/cat",
-    "xcfa/exec-graph-cli",
     "xcfa/c2xcfa",
     "xcfa/litmus2xcfa",
     "xcfa/llvm2xcfa",
     "xcfa/xcfa-analysis",
     "xcfa/xcfa-cli",
-    "xcfa/litmus-cli",
 
     "xta/xta",
     "xta/xta-analysis",