diff --git a/build.gradle b/build.gradle index 33b9bac17964550c26f908f787581adfbee57ef7..66236713c3936e86b789ff4a236cab61b406d129 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)