From 3131537fe0a22336d3fd9cc5aabb22294b7148b7 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 14 May 2014 11:31:06 +0200
Subject: [PATCH] fix warnings
---
de.prob.units/plugin.xml | 32 --------------------------------
1 file changed, 32 deletions(-)
diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml
index 272fdf81..4656bfef 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>
--
GitLab