From 6b56cfaaa46144b031e1fe28d16dcc70b10b40c4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 28 Apr 2023 15:46:02 +0200
Subject: [PATCH] Update tla2bAST to version 1.1.5
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index f89467a..37d0979 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.1.3')
+ testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.5')
}
java {
--
GitLab