From 664e74ca90504acd2fbf45685aba8ff316de1632 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 21 Mar 2012 15:06:01 +0100
Subject: [PATCH] bundleshape

---
 de.prob.core/META-INF/MANIFEST.MF | 1 +
 1 file changed, 1 insertion(+)

diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index c7d4181c..aa5ff02d 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",
-- 
GitLab