diff --git a/build.gradle b/build.gradle
index 70a83ba8db9a9a664ac9c5c874b5e2d8528ea78b..9ed586fe6a6f07d95889c186c026c227783b178c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,7 +37,7 @@ dependencies {
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
 	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0-SNAPSHOT')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0')
 }
 
 java {