diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF index c7d4181c6042a2e16ebd0271d37fd0d93fe6e314..aa5ff02d2dc77e6c50b94ef6d1a1ff9b0dd1bb5a 100644 --- a/de.prob.core/META-INF/MANIFEST.MF +++ b/de.prob.core/META-INF/MANIFEST.MF @@ -7,6 +7,7 @@ Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", org.rodinp.core;bundle-version="[1.3.1,1.6.0)", org.eventb.core;bundle-version="[2.1.0,2.5.0)" Bundle-ActivationPolicy: lazy +Eclipse-BundleShape: dir Bundle-Vendor: HHU Düsseldorf STUPS Group Export-Package: de.be4.classicalb.core.parser, de.be4.classicalb.core.parser.analysis;x-friends:="de.prob.eventb.disprover.core",