diff --git a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
index e4c6da99959cc435f13742cd7356546fdcbff37f..69db4b47ee4655875650fa359d6ca4ae50d693d7 100644
--- a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
+++ b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
@@ -39,6 +39,7 @@ import org.fortiss.tooling.kernel.model.constraints.OutdatedVerificationStatus;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService.IFix;
 import org.fortiss.tooling.kernel.ui.extension.IConstraintVerifierUI;
+import org.fortiss.tooling.kernel.ui.service.INavigatorService;
 
 /**
  * Base class for constraint verification GUI.
@@ -61,6 +62,7 @@ public class ConstraintVerifierUIBase<T extends IConstraint> implements IConstra
 			IConstraintVerificationService.INSTANCE.verify(constraint);
 			IConstraintVerificationStatus currentStatus = constraint.getVerificationStatus();
 			// If the constraint verification resulted in an error, we display it immediately.
+			INavigatorService.INSTANCE.refresh();
 			if(currentStatus instanceof ErrorVerificationStatus & canOpen(currentStatus)) {
 				openStatus(currentStatus);
 			}