diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF index de2e8dd6e9c1cf9174aa7647887afdd3f2c4a142..b8d650d54c6ff0f7a1755cdb2659bc2ef94d741c 100644 --- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF +++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF @@ -16,7 +16,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", org.eventb.core;bundle-version="[3.0.0,4.0.0)", org.eclipse.help;bundle-version="3.5.100", org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)", - org.rodinp.core;bundle-version="[1.7.0,1.9.0)", + org.rodinp.core;bundle-version="[1.7.0,2.0.0)", org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)" Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8