diff --git a/build.gradle b/build.gradle
index 7da21e6132c5f9190e2262eb8d53f90d023de840..7448fb5de2f85034754289a06abd3992264e779c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,7 +27,7 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.9.14'
+def parser_version = '2.9.23'
 def tlatools_version = '1.0.2'
 
 dependencies {
@@ -43,7 +43,7 @@ dependencies {
 	//implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testImplementation(group: 'junit', name: 'junit', version: '4.12')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.0')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
 }
 
 java {