From 0c9ae2fb793c4842128cb040a1f753e5d4e441c4 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 7 Dec 2020 11:10:31 +0100
Subject: [PATCH] emf compare >= 3.4 is required

---
 org.eventb.texttools/META-INF/MANIFEST.MF | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 62027cb..80b1a18 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -14,7 +14,7 @@ Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
  org.eclipse.core.runtime;bundle-version="3.10.0",
  org.eventb.emf.core;bundle-version="[4.0.0,6.0.0)",
  org.rodinp.core;bundle-version="1.7.0",
- org.eclipse.emf.compare;bundle-version="3.1.1",
+ org.eclipse.emf.compare;bundle-version="3.4.0",
  org.eclipse.emf.compare.edit;bundle-version="4.0.0",
  org.eclipse.emf.compare.ide;bundle-version="3.1.1",
  org.eclipse.emf.compare.rcp;bundle-version="2.2.0",
-- 
GitLab