diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF index d2eeb3bc038ab042499863bf9109e3b6bbbf4541..0789fd1e77bbe418961404c52e1aedbe96120a5e 100644 --- a/de.prob.ui/META-INF/MANIFEST.MF +++ b/de.prob.ui/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", org.eventb.core;bundle-version="[2.1.0,2.6.0)", org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)", org.eclipse.gef;bundle-version="[3.5.0,4.0.0)", - org.eventb.ui;bundle-version="2.5.0" + org.eventb.ui;bundle-version="[2.1.0,2.6.0)" Bundle-ActivationPolicy: lazy Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Activator: de.prob.ui.ProbUiPlugin