From 62e79352bf175e390f172b6bae4faa23a5444dea Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 12 Nov 2024 13:40:55 +0100
Subject: [PATCH] Update to release version 1.4.0 of tla2bAST
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 70a83ba..9ed586f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,7 +37,7 @@ dependencies {
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
- testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0-SNAPSHOT')
+ testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0')
}
java {
--
GitLab