diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 3f28e8b5f7388fe406932e7dd5e69db40952086a..d1654337a1ef8c114f5d02f088b2659536933e72 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -241,6 +241,7 @@ litigation.
       <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
       <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
       <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
+      <import plugin="org.eventb.core.ast" version="2.7.0" match="compatible"/>
    </requires>
 
    <plugin