From b0691a5823ebaf7d9cb8c6425bd74432d0bb12c7 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 17 Sep 2015 15:20:03 +0200
Subject: [PATCH] update build.gradle
---
build.gradle | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index da50b26..86ace23 100644
--- a/build.gradle
+++ b/build.gradle
@@ -35,8 +35,7 @@ configurations.all {
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