diff --git a/build.gradle b/build.gradle
index d73c6d0d05fa9a4e83d5c59faa0da19c7aedc373..1567c3d2787dfedd6ee225c88642d6ad3e3d4099 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
  resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.5.0-SNAPSHOT'
+def parser_version = '2.5.1-SNAPSHOT'
 def tlatools_version = '1.0.2-SNAPSHOT'
 
 dependencies {