diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index d0f90ee3914e432ee2b603f396b3ed3e3ca5b716..a7d4c7e1a2b2725c20f135008468f8de5e8f406c 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 851badd597e93c3dc8a2690a956a2a007732b292..47392805cedda2174e73c55cd464400a51b1e01b 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>