diff --git a/build.gradle b/build.gradle index 5804aa0ea16c7ca6bcc52f3cbe515fb893f95886..9cad51cb1d135ada6d255a881ff31161fae0e16f 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') }