diff --git a/org.fortiss.tooling.kernel.ui/trunk/plugin.xml b/org.fortiss.tooling.kernel.ui/trunk/plugin.xml
index fdbedcb54d001b41d53809363b85bc7c75268cae..5e4aaeb1791a37058f52e0747ddbc3a7c6a474d0 100644
--- a/org.fortiss.tooling.kernel.ui/trunk/plugin.xml
+++ b/org.fortiss.tooling.kernel.ui/trunk/plugin.xml
@@ -144,5 +144,11 @@
             name="Storage">
       </perspective>
    </extension>
+   <extension
+         point="org.fortiss.tooling.kernel.eclipseResourcePostLoadProvider">
+      <storagePostLoadProvider
+            provider="org.fortiss.tooling.kernel.ui.internal.ConstraintVerificationUIService">
+      </storagePostLoadProvider>
+   </extension>
 
 </plugin>