Update to new parser snapshot version 2.15.0-SNAPSHOT

build.gradle

@@ -26,7 +26,7 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.13.6-SNAPSHOT'
+def parser_version = '2.15.0-SNAPSHOT'
 
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')