diff --git a/build.gradle b/build.gradle
index 880c92d5bcc9de3b81652c8af37076735d80dafc..3b151225015c0a15af5a876be8bedc83d082097a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,12 +27,11 @@ configurations.all {
 }
 
 def parser_version = '2.9.25'
-def tlatools_version = '1.0.2'
 
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	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: 'tlatools', version: '1.0.2')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)