From 4d3ff9a12bfe179a05abc019d4f13caf6899b2c9 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 22:32:38 +0200
Subject: [PATCH] Inline tlatools_version in build.gradle
---
build.gradle | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 880c92d..3b15122 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,12 +27,11 @@ configurations.all {
}
def parser_version = '2.9.25'
-def tlatools_version = '1.0.2'
dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0')
- implementation(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
+ implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
--
GitLab