From 803281051d0586e89d5d62d602911c899703d018 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Mon, 17 Oct 2011 20:03:05 +0400
Subject: [PATCH] No debug errors when error reporting is off

---
 .../jetbrains/jet/plugin/annotations/DebugInfoAnnotator.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/annotations/DebugInfoAnnotator.java b/idea/src/org/jetbrains/jet/plugin/annotations/DebugInfoAnnotator.java
index f0d8b73d0c8..bade37c7e0b 100644
--- a/idea/src/org/jetbrains/jet/plugin/annotations/DebugInfoAnnotator.java
+++ b/idea/src/org/jetbrains/jet/plugin/annotations/DebugInfoAnnotator.java
@@ -46,7 +46,7 @@ public class DebugInfoAnnotator implements Annotator {
 
     @Override
     public void annotate(@NotNull PsiElement element, @NotNull final AnnotationHolder holder) {
-        if (!debugInfoEnabled) {
+        if (!debugInfoEnabled || !JetPsiChecker.isErrorReportingEnabled()) {
             return;
         }