From 8b7822e8aff697e5ac8c1e9984f1b6c4baa8b778 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 30 Jun 2016 14:00:10 +0200
Subject: [PATCH] update junit version

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 5804aa0..9cad51c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,7 +37,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: 'junit', name: 'junit', version: '4.12')
 	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8')
 }
 
-- 
GitLab