From 63de0f310fda17d3d88c160691fe90b34d4a4f64 Mon Sep 17 00:00:00 2001 From: David Schneider <david.schneider@bivab.de> Date: Wed, 23 Jan 2019 16:36:34 +0100 Subject: [PATCH] Update parser versions --- build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle b/build.gradle index ac502c1..9bb39b7 100644 --- a/build.gradle +++ b/build.gradle @@ -30,10 +30,10 @@ configurations.all { def parser_version if (project.version.endsWith("-SNAPSHOT")) { - parser_version = '2.9.13-SNAPSHOT' + parser_version = '2.9.18-SNAPSHOT' } else { - parser_version = '2.9.12' + parser_version = '2.9.17' } def tlatools_version = '1.0.2' -- GitLab