diff --git a/de.prob.units/META-INF/MANIFEST.MF b/de.prob.units/META-INF/MANIFEST.MF index 78ca1d877595c1864738560c396b2515fcf1dc81..2fd89c80dfacabe94b60f1cb276335c25705d1f1 100644 --- a/de.prob.units/META-INF/MANIFEST.MF +++ b/de.prob.units/META-INF/MANIFEST.MF @@ -7,7 +7,7 @@ Bundle-Activator: de.prob.units.Activator Require-Bundle: org.eclipse.ui, org.eclipse.core.runtime, de.prob.core;bundle-version="9.3.0", - org.eventb.ui;bundle-version="2.5.0", + org.eventb.ui;bundle-version="[2.1.0,2.6.0)", de.prob.ui;bundle-version="7.3.0" Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.6