From a85ff6146abbbe76c58090678153dc273aa77af4 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 15:36:00 +0100
Subject: [PATCH] remove prereq from contextAttributeProcessor, should fix the
running order of SC modules
---
de.prob.units/plugin.xml | 3 ---
1 file changed, 3 deletions(-)
diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml
index 7ba49ece..b749f07c 100644
--- a/de.prob.units/plugin.xml
+++ b/de.prob.units/plugin.xml
@@ -128,9 +128,6 @@
id="contextAttributeProcessor"
name="contextAttributeProcessor"
parent="org.eventb.core.contextModule">
- <prereq
- id="org.eventb.core.contextConstantModule">
- </prereq>
</processorType>
</extension>
</plugin>
--
GitLab