From ae083a9db698e6011d9b1d4352b604891c47b2d9 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 14:57:56 +0200
Subject: [PATCH] bump dependency for BMS GEF editor

---
 de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index de2e8dd6..b8d650d5 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -16,7 +16,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
  org.eventb.core;bundle-version="[3.0.0,4.0.0)",
  org.eclipse.help;bundle-version="3.5.100",
  org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,1.9.0)",
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
  org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-- 
GitLab