From e50147e767f73aad7346823983032fb745f06074 Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Fri, 19 Jul 2024 08:39:34 +0200 Subject: [PATCH] use snapshot version --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 1348f19..2e17e5e 100644 --- a/build.gradle +++ b/build.gradle @@ -31,7 +31,7 @@ def parser_version = '2.13.3' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0') - implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2') + implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT') implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version) implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version) -- GitLab