diff --git a/build.gradle b/build.gradle
index 523fa22768f47192802916d45d45acbc216cdd2f..2b66d0e2e2d7c344b2674e33854ef96c4bf42d2c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
  resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.5.1-SNAPSHOT'
+def parser_version = '2.5.2-SNAPSHOT'
 def tlatools_version = '1.0.2-SNAPSHOT'
 
 dependencies {