diff --git a/build.gradle b/build.gradle
index 4d3d2c6a75e44747331151cb00aa252c0b0e2b1b..d68f7977621d224d0ef3d42175edaf4dba51b45a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -20,7 +20,7 @@ configurations { // configuration that holds jars to copy into lib
 	releaseJars 
 }
  
-def parser_version = '2.4.22-SNAPSHOT'
+def parser_version = '2.4.28-SNAPSHOT'
 
 dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -86,4 +86,4 @@ task tla2b(dependsOn: build) << {
 		include('tla2bAST-'+project.version+'.jar')
 		rename('tla2bAST-(.+)', 'TLA2B.jar')
 	}
-}
\ No newline at end of file
+}