diff --git a/org.eventb.texteditor.parsers/build.gradle b/org.eventb.texteditor.parsers/build.gradle index d8363bac55ee755593cad3d061d767b1fd3b4871..a6a2881dadb11a267d5003caaf4af411b64671ee 100644 --- a/org.eventb.texteditor.parsers/build.gradle +++ b/org.eventb.texteditor.parsers/build.gradle @@ -7,8 +7,8 @@ repositories { def parser_version = '2.4.40' dependencies { - implementation group: "de.hhu.stups", name: "bparser", version: parser_version, changing: true - implementation group: "de.hhu.stups", name: "eventbstruct", version: parser_version, changing: true + implementation group: "de.hhu.stups", name: "bparser", version: parser_version + implementation group: "de.hhu.stups", name: "eventbstruct", version: parser_version implementation 'com.google.guava:guava:14.0.1'// Apache Licence 2.0 }