From 372986ec961eae2806e3a28dc9462f2a255f08e1 Mon Sep 17 00:00:00 2001
From: bendisposto <jens@bendisposto.de>
Date: Fri, 22 Aug 2014 16:53:41 +0200
Subject: [PATCH] Update build.gradle
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 4d3d2c6..d68f797 100644
--- a/build.gradle
+++ b/build.gradle
@@ -20,7 +20,7 @@ configurations { // configuration that holds jars to copy into lib
releaseJars
}
-def parser_version = '2.4.22-SNAPSHOT'
+def parser_version = '2.4.28-SNAPSHOT'
dependencies {
//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -86,4 +86,4 @@ task tla2b(dependsOn: build) << {
include('tla2bAST-'+project.version+'.jar')
rename('tla2bAST-(.+)', 'TLA2B.jar')
}
-}
\ No newline at end of file
+}
--
GitLab