diff --git a/build.gradle b/build.gradle index 2e17e5e8bb07c7d8244c3859ba9d8d61e16cf87d..ee9f980141d2c65a4b4815befcddf04cf55ed020 100644 --- a/build.gradle +++ b/build.gradle @@ -37,7 +37,7 @@ dependencies { implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version) testImplementation(group: 'junit', name: 'junit', version: '4.13.2') - testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.3.0') + testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.3.1-SNAPSHOT') } java {