From 36240c7de7de62c6d4fc87fdb14e69aa64d984b4 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 7 Jan 2013 11:35:36 +0100
Subject: [PATCH] update dependency

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

diff --git a/de.prob.units/META-INF/MANIFEST.MF b/de.prob.units/META-INF/MANIFEST.MF
index 78ca1d87..2fd89c80 100644
--- a/de.prob.units/META-INF/MANIFEST.MF
+++ b/de.prob.units/META-INF/MANIFEST.MF
@@ -7,7 +7,7 @@ Bundle-Activator: de.prob.units.Activator
 Require-Bundle: org.eclipse.ui,
  org.eclipse.core.runtime,
  de.prob.core;bundle-version="9.3.0",
- org.eventb.ui;bundle-version="2.5.0",
+ org.eventb.ui;bundle-version="[2.1.0,2.6.0)",
  de.prob.ui;bundle-version="7.3.0"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.6
-- 
GitLab