diff --git a/build.gradle b/build.gradle
index 9fdf66188244a9bec05f96c5a41674fc433eb885..e2f4075dc7dc2e156a99395c11d33ed9101ed78f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,8 +37,6 @@ dependencies {
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
-	//implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
-
 	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
 	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
 }