From 57a30dd7b69a880e1633a73ddeff79f7d9eaa3d9 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Thu, 3 Dec 2015 11:08:22 +0100 Subject: [PATCH] bump parser version --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index d73c6d0..1567c3d 100644 --- a/build.gradle +++ b/build.gradle @@ -26,7 +26,7 @@ configurations.all { resolutionStrategy.cacheChangingModulesFor 0, 'seconds' } -def parser_version = '2.5.0-SNAPSHOT' +def parser_version = '2.5.1-SNAPSHOT' def tlatools_version = '1.0.2-SNAPSHOT' dependencies { -- GitLab