diff --git a/build.gradle b/build.gradle
index 8e55bb5c1159de8fc898f095b56d0a19dc0db828..152a0fd758c8d95ac33d7e5661f890b64913f5ff 100644
--- a/build.gradle
+++ b/build.gradle
@@ -24,7 +24,7 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
    }
  
-def parser_version = '2.5.1-SNAPSHOT'
+def parser_version = '2.5.2-SNAPSHOT'
 def prob_version = '2.0.0-SNAPSHOT'
 def tlatools_version = '1.0.2-SNAPSHOT'