From ccee43ad1edb8aeaec02cf057af9420a3943f517 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 16 Aug 2021 14:23:48 +0200
Subject: [PATCH] bump parser version from 2.9.12 to 2.9.17

2.9.18 leads to compile errors
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 91f57ff..d757fe3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -25,7 +25,7 @@ configurations.all {
  resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.9.12'
+def parser_version = '2.9.17'
 def tlatools_version = '1.0.2'
 
 dependencies {
-- 
GitLab