Remove commented out de.prob.core.kernel dependency

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')
 }