diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF index 62027cb81d7e457a4135c1260aaa7bb485bb760f..80b1a18465db2358923c5e889e7c110ce378e801 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",