From 6314f34cd9620458cc88b2880613a0204aba1ad9 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 3 Sep 2015 16:22:33 +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 5c5f067..1a58fbd 100644
--- a/build.gradle
+++ b/build.gradle
@@ -44,7 +44,7 @@ dependencies {
//compile(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
testCompile (group: 'junit', name: 'junit', version: '4.11')
- testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.7-SNAPSHOT')
+ testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8-SNAPSHOT')
releaseJars (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
releaseJars (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
--
GitLab