From 608fbb9e5d71d4a4a54381558cbddbf12d05a3d4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Mar 2021 13:16:47 +0100
Subject: [PATCH] Remove unused parserbase and ltlparser dependencies
---
build.gradle | 2 --
1 file changed, 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 9c53e46..ccc1602 100644
--- a/build.gradle
+++ b/build.gradle
@@ -45,9 +45,7 @@ dependencies {
compile (group: 'commons-cli', name: 'commons-cli', version: '1.4')
compile (group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
- compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
- compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
testCompile (group: 'junit', name: 'junit', version: '4.12')
}
--
GitLab