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