From a23bb12c54bf851b06222591c0f7f5332b831f5e Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 29 Jul 2014 16:09:17 +0200
Subject: [PATCH] add missing contribution to attributeRelation extension
point. was leading to constants missing from statically checked models
---
de.prob.symbolic/plugin.xml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/de.prob.symbolic/plugin.xml b/de.prob.symbolic/plugin.xml
index e74f8d3d..c8833836 100644
--- a/de.prob.symbolic/plugin.xml
+++ b/de.prob.symbolic/plugin.xml
@@ -14,6 +14,12 @@
descriptionId="de.prob.symbolic.symbolicAttribute">
</attributeReference>
</attributeRelation>
+ <attributeRelation
+ elementTypeId="org.eventb.core.scConstant">
+ <attributeReference
+ descriptionId="de.prob.symbolic.symbolicAttribute">
+ </attributeReference>
+ </attributeRelation>
</extension>
<extension
point="org.rodinp.core.attributeTypes">
--
GitLab