From 8348274df1328f5c218bd6001ccd5da04c68bd76 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 19 Jul 2024 08:42:55 +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 29dfdc4..5e3196e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,7 +30,7 @@ def parser_version = '2.13.2'
 
 dependencies {
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.7.0')
-	api(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
+	api(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT')
 	api(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
 	api(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 
-- 
GitLab