From 145c4ee362c94e0736fe9552912e4135106b2414 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 3 Dec 2015 12:08:49 +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 1210ce6..b3c19c7 100644
--- a/build.gradle
+++ b/build.gradle
@@ -24,7 +24,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.5.0-SNAPSHOT'
+def parser_version = '2.5.1-SNAPSHOT'
def prob_version = '2.0.0-SNAPSHOT'
def tlatools_version = '1.0.2-SNAPSHOT'
--
GitLab