From 40478873676a0630a6f456f3bc64c668dc520b36 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 17:20:55 +0100
Subject: [PATCH] remove prereq attribute from ContextAttributeProcessor. Does
not seem to be necessary at all.
---
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 b749f07c..b638b268 100644
--- a/de.prob.units/plugin.xml
+++ b/de.prob.units/plugin.xml
@@ -119,9 +119,6 @@
id="machineAttributeProcessor"
name="machineAttributeProcessor"
parent="org.eventb.core.machineModule">
- <prereq
- id="org.eventb.core.machineVariableModule">
- </prereq>
</processorType>
<processorType
class="de.prob.units.sc.ContextAttributeProcessor"
--
GitLab