From e96c76b0d8e71e26d4518234e4b5284a4cad492e Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Wed, 23 Oct 2013 14:25:46 +0400
Subject: [PATCH] Fix multiple registration for redeclaration errors

---
 .../jet/plugin/highlighter/JetPsiChecker.java          | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/JetPsiChecker.java b/idea/src/org/jetbrains/jet/plugin/highlighter/JetPsiChecker.java
index e59e3f162b1..665edd9ffc7 100644
--- a/idea/src/org/jetbrains/jet/plugin/highlighter/JetPsiChecker.java
+++ b/idea/src/org/jetbrains/jet/plugin/highlighter/JetPsiChecker.java
@@ -179,10 +179,12 @@ public class JetPsiChecker implements Annotator, HighlightRangeExtension {
                     return;
                 }
 
-                if (!isMarkedWithRedeclaration && Errors.REDECLARATION_DIAGNOSTICS.contains(diagnostic.getFactory())) {
-                    isMarkedWithRedeclaration = true;
-                    Annotation annotation = holder.createErrorAnnotation(diagnostic.getTextRanges().get(0), "");
-                    setUpAnnotation(diagnostic, annotation, null);
+                if (Errors.REDECLARATION_DIAGNOSTICS.contains(diagnostic.getFactory())) {
+                    if (!isMarkedWithRedeclaration) {
+                        isMarkedWithRedeclaration = true;
+                        Annotation annotation = holder.createErrorAnnotation(diagnostic.getTextRanges().get(0), "");
+                        setUpAnnotation(diagnostic, annotation, null);
+                    }
                     return;
                 }