diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml index b749f07c97497b79b3d4fb8cc1e62f415f8026a4..b638b268a7251133e354a7fef6595000bf4bc7fd 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"