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