diff --git a/build.gradle b/build.gradle index 4d3e880a996694eda9069054e61bd67fdf00ba72..7221c0a56f7395db2aee7e88b1b6ffaecb509edb 100644 --- a/build.gradle +++ b/build.gradle @@ -26,7 +26,7 @@ configurations.all { resolutionStrategy.cacheChangingModulesFor 0, 'seconds' } -def parser_version = '2.15.1' +def parser_version = '2.15.2' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')