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