diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index 8bbdaaf449ca2d891f4b7e17c5123f54ec1649c3..f14c58ea7e0a48483bac82cad548e8419fd503c4 100644 --- a/org.eventb.texteditor.parent/pom.xml +++ b/org.eventb.texteditor.parent/pom.xml @@ -37,7 +37,7 @@ <!-- enable tycho build extension --> <groupId>org.eclipse.tycho</groupId> <artifactId>tycho-maven-plugin</artifactId> - <version>2.7.5</version> + <version>4.0.8</version> <extensions>true</extensions> </plugin> </plugins>