From d29dbc4301177928e8b3cdb79d5806e6cc88eac6 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 3 Jul 2023 16:03:39 +0200 Subject: [PATCH] Remove disprover core's dependency on org.eclipse.ui --- de.prob.eventb.disprover.core/META-INF/MANIFEST.MF | 1 - 1 file changed, 1 deletion(-) diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF index 2d758108..d945ff3d 100644 --- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF +++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF @@ -6,7 +6,6 @@ Bundle-Version: 2.1.0.qualifier Bundle-Vendor: Heinrich-Heine University Dusseldorf Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", - org.eclipse.ui;bundle-version="[3.118.0,4.0.0)", org.eventb.core;bundle-version="[3.5.0,4.0.0)", org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)", org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)", -- GitLab