diff --git a/de.prob.symbolic/plugin.xml b/de.prob.symbolic/plugin.xml
index e74f8d3db3227a21f95f314148736728e664698e..c8833836bfcbc7c77fdb963530c7093fd33d62cf 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">