From 8f31538056d7965d87fb37cb1dfe60191f785785 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 4 Feb 2022 18:56:26 +0100 Subject: [PATCH] Set parser version to lowest compatible with tla2bAST 1.1.0 Upgrading tla2bAST causes compile errors. --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index d757fe3..c432091 100644 --- a/build.gradle +++ b/build.gradle @@ -25,7 +25,7 @@ configurations.all { resolutionStrategy.cacheChangingModulesFor 0, 'seconds' } -def parser_version = '2.9.17' +def parser_version = '2.9.14' def tlatools_version = '1.0.2' dependencies { -- GitLab