From e5331f462dd2754109a25d9b8b18958c15d58f02 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 2 Feb 2022 14:22:25 +0100
Subject: [PATCH] update parser version
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 4bbe2dd..21140bc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,10 +30,10 @@ configurations.all {
def parser_version
if (isSnapshot) {
- parser_version = '2.9.29-SNAPSHOT'
+ parser_version = '2.9.33-SNAPSHOT'
}
else {
- parser_version = '2.9.28'
+ parser_version = '2.9.32'
}
def tlatools_version = '1.0.2'
--
GitLab