From 035ac6b0752b2b473f27b21a1ce2e5971ebb0d8d Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 27 Mar 2014 16:18:07 +0100
Subject: [PATCH] trying to fix parallel building of prob for rodin 2 and rodin
3
---
de.prob2.symbolic.feature/feature.xml | 2 +-
de.prob2.units.feature/feature.xml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index d0f90ee3..a7d4c7e1 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -232,7 +232,7 @@ litigation.
<requires>
<import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
- <import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/>
+ <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
</requires>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 851badd5..47392805 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -226,7 +226,7 @@ litigation.
<requires>
<import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
- <import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/>
+ <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
</requires>
--
GitLab