From 92b0d8f3cfbc981d4568f1a4bf7c2fb27739d2a2 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 22:55:01 +0200
Subject: [PATCH] Update parsers to version 2.12.4-SNAPSHOT
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 8324e65..f89467a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.12.3'
+def parser_version = '2.12.4-SNAPSHOT'
dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
--
GitLab