From 383f0c9d041fe82b8bafcf7e75a8270209df4e5b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 13 Jun 2014 11:29:20 +0200
Subject: [PATCH] fix units plugin
---
de.prob.units/plugin.xml | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml
index 4656bfef..7c8fbc3e 100644
--- a/de.prob.units/plugin.xml
+++ b/de.prob.units/plugin.xml
@@ -39,6 +39,24 @@
style="single"
typeId="de.prob.units.inferredUnitPragmaAttribute">
</textAttribute>
+ <attributeRelation
+ elementTypeId="org.eventb.core.scVariable">
+ <attributeReference
+ descriptionId="de.prob.units.unitPragmaAttribute">
+ </attributeReference>
+ <attributeReference
+ descriptionId="de.prob.units.inferredUnitPragmaAttribute">
+ </attributeReference>
+ </attributeRelation>
+ <attributeRelation
+ elementTypeId="org.eventb.core.scConstant">
+ <attributeReference
+ descriptionId="de.prob.units.unitPragmaAttribute">
+ </attributeReference>
+ <attributeReference
+ descriptionId="de.prob.units.inferredUnitPragmaAttribute">
+ </attributeReference>
+ </attributeRelation>
</extension>
<extension
point="org.eclipse.ui.handlers">
--
GitLab