From e908397466947223af9e43edb6fc0069ea8a922e Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 17 Sep 2015 14:20:24 +0200
Subject: [PATCH] update build.gradle
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 109ab01..b0fac80 100644
--- a/build.gradle
+++ b/build.gradle
@@ -34,7 +34,7 @@ def parser_version = '2.5.0-SNAPSHOT'
dependencies {
//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
- compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
+ compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2-SNAPSHOT')
compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
--
GitLab