diff --git a/build.gradle b/build.gradle index 9439cfe3f02c24ca26784a6b1793bc3e6d37c3d7..0adb49de75d523b98397af681fc15164bf07523e 100644 --- a/build.gradle +++ b/build.gradle @@ -31,13 +31,13 @@ def parser_version = '2.13.3' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0') - implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT') + implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0-SNAPSHOT') implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version) 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.1-SNAPSHOT') + testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0-SNAPSHOT') } java {