Skip to content
Snippets Groups Projects
Commit 6b56cfaa authored by dgelessus's avatar dgelessus
Browse files

Update tla2bAST to version 1.1.5

parent fd312820
Branches
Tags
No related merge requests found
Pipeline #112260 canceled
......@@ -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.1.3')
testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.5')
}
java {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment