diff --git a/build.gradle b/build.gradle
index 8324e65fcd33559108e17f670076461483119cd4..f89467a1ffd2a0e75f2e05508c41f89ea967f7a2 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.12.3'
+def parser_version = '2.12.4-SNAPSHOT'
 
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')