From a313f3f3390ed5dfb0a3d50ebc6041e3f06fee84 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 25 Apr 2023 14:17:04 +0200
Subject: [PATCH] Inline unnecessary variable
---
build.gradle | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/build.gradle b/build.gradle
index 7fe72f4..3258588 100644
--- a/build.gradle
+++ b/build.gradle
@@ -32,11 +32,9 @@ else {
parser_version = '2.12.3'
}
-def tlatools_version = '1.0.2'
-
dependencies {
implementation(group: 'commons-cli', name: 'commons-cli', version: '1.4')
- api(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
+ api(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
api(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
api(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
--
GitLab