From c8df47906cc8d7f372d9757e89d5b740b73e2799 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 27 Mar 2014 16:09:28 +0100
Subject: [PATCH] trying to fix parallel building of prob for rodin 2 and rodin
3
---
de.prob2.feature/feature.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 3f28e8b5..d1654337 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -241,6 +241,7 @@ litigation.
<import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
<import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
<import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
+ <import plugin="org.eventb.core.ast" version="2.7.0" match="compatible"/>
</requires>
<plugin
--
GitLab