From 269249527369d7deb05d2863b4dcadb63ad424a3 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 20:11:54 +0200
Subject: [PATCH] version of tla2bast
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 779ffa4..08aa79d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -41,7 +41,7 @@ dependencies {
//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
testCompile (group: 'junit', name: 'junit', version: '4.11')
- testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.5')
+ testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.7-SNAPSHOT')
releaseJars (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
releaseJars (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
--
GitLab