From 1c60419473ba4da96b5b7e231d446c24d45b1ebc Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 20:24:20 +0200
Subject: [PATCH] Update parsers to version 2.9.25
Last versions to be compatible with Java 7.
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index a797860..6f1a7cb 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.9.23'
+def parser_version = '2.9.25'
def tlatools_version = '1.0.2'
dependencies {
--
GitLab