From ba7eaaa272da829a60f9d69ae582d5418591ca5f Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 4 Feb 2016 15:47:52 +0100
Subject: [PATCH] Update build.gradle
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 7d9929a..5d6e988 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.5.2-SNAPSHOT'
+def parser_version = '2.5.1'
def tlatools_version = '1.0.2-SNAPSHOT'
dependencies {
--
GitLab