From 129299dbd833eebeda47f5eb79f9ed687b70e30b Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 20:17:49 +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 33b9bac..6623671 100644
--- a/build.gradle
+++ b/build.gradle
@@ -41,7 +41,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.prob', name: 'tla2bAST', version: '1.0.7-SNAPSHOT')
+  testCompile (group: 'de.hhu.stups', 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