diff --git a/build.gradle b/build.gradle
index 8aea1ebecd7e63a381a5c272e3cb5c3db608361a..1570405a09b91199f2fb5cb8483ea1e3893d4ce4 100644
--- a/build.gradle
+++ b/build.gradle
@@ -31,7 +31,7 @@ def parser_version = '2.13.5-SNAPSHOT'
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0')
-	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0-SNAPSHOT')
+	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)