diff --git a/build.gradle b/build.gradle
index da50b265c3168c24394a60e0de4f1b21bb48377a..86ace23c2b6ce29d33d0028be40a4237df33fa17 100644
--- a/build.gradle
+++ b/build.gradle
@@ -35,8 +35,7 @@ configurations.all {
 def parser_version = '2.5.0-SNAPSHOT'
 
 dependencies {
-	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
-	compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
+	compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2-SNAPSHOT')
 
 	compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
 	compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)