diff --git a/build.gradle b/build.gradle
index 7fe72f41a6efadff231ae0171779a31ef027b76f..325858890eb3e8fa7e47c666fa04e060fd21164b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -32,11 +32,9 @@ else {
 	parser_version = '2.12.3'
 }
 
-def tlatools_version = '1.0.2'
-
 dependencies {
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.4')
-	api(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
+	api(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
 	api(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
 	api(group: 'de.hhu.stups', name: 'bparser', version: parser_version)