diff --git a/build.gradle b/build.gradle
index 6f1a7cbdf02dc83d3413e5ad3b7a8e3cbb7c0fa7..9fdf66188244a9bec05f96c5a41674fc433eb885 100644
--- a/build.gradle
+++ b/build.gradle
@@ -34,8 +34,6 @@ dependencies {
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0')
 	implementation(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
 
-	implementation(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
-	implementation(group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)