diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml index 272fdf81c5940513d9a249ba8dc5435f03b81064..4656bfef75443c19efa4961d7bf3fd4d2196ec2c 100644 --- a/de.prob.units/plugin.xml +++ b/de.prob.units/plugin.xml @@ -54,22 +54,6 @@ <separator name="de.prob.units.separator2" visible="true"> - <visibleWhen> - <with - variable="selection"> - <iterate - operator="or"> - <or> - <instanceof - value="org.eventb.core.IMachineRoot"> - </instanceof> - <instanceof - value="org.eventb.core.IContextRoot"> - </instanceof> - </or> - </iterate> - </with> - </visibleWhen> </separator> <command commandId="de.prob.units.startunitanalysis" @@ -96,22 +80,6 @@ <separator name="de.prob.units.separator1" visible="true"> - <visibleWhen> - <with - variable="selection"> - <iterate - operator="or"> - <or> - <instanceof - value="org.eventb.core.IMachineRoot"> - </instanceof> - <instanceof - value="org.eventb.core.IContextRoot"> - </instanceof> - </or> - </iterate> - </with> - </visibleWhen> </separator> </menuContribution> </extension>