From 6fdc401d62a7eed24bc3aab8fffd66ea2f8a30d5 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 4 Feb 2016 15:48:15 +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 152a0fd..d2e5945 100644
--- a/build.gradle
+++ b/build.gradle
@@ -24,7 +24,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.5.2-SNAPSHOT'
+def parser_version = '2.5.1'
def prob_version = '2.0.0-SNAPSHOT'
def tlatools_version = '1.0.2-SNAPSHOT'
--
GitLab