diff --git a/build.gradle b/build.gradle
index 1348f19016b86e6252e3bed50a4480c01e87fc21..2e17e5e8bb07c7d8244c3859ba9d8d61e16cf87d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -31,7 +31,7 @@ def parser_version = '2.13.3'
 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.0.2')
+	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)