diff --git a/build.gradle b/build.gradle
index 08aa79d6b62d2de173ba0c631530f5e839f1a0cf..33b9bac17964550c26f908f787581adfbee57ef7 100644
--- a/build.gradle
+++ b/build.gradle
@@ -38,7 +38,7 @@ dependencies {
 	compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
-	//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
+	//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')