From cdad32b110af7eced91671242054f2d6bb5409c6 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 12:08:00 +0200
Subject: [PATCH] try setting GEF dependency to 3.7.0 greaterOrEqual
---
de.prob2.feature/feature.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 373bcd99..2a184aef 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -227,7 +227,7 @@ litigation.
<import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
<import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
<import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
+ <import plugin="org.eclipse.gef" version="3.7.0" match="greaterOrEqual"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0"/>
<import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
--
GitLab