No debug errors when error reporting is off

This commit is contained in:
Andrey Breslav
2011-10-17 20:03:05 +04:00
parent 3fa57f3f39
commit 803281051d
@@ -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;
}