diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 2d758108c8563adc1bec05d007b0524ad9745f18..d945ff3db1f745f286662a85397c2096eb8f03cf 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)",