diff --git a/build.gradle b/build.gradle
index 91f57ffc30be55fa0fa58c4c3bcf1f14a5aa7e06..d757fe324a7b6d9a23a77a9646554ecad6d3200c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -25,7 +25,7 @@ configurations.all {
  resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.9.12'
+def parser_version = '2.9.17'
 def tlatools_version = '1.0.2'
 
 dependencies {