diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java index 25aa8b9adf2..14b280abb3d 100644 --- a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java +++ b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java @@ -62,6 +62,9 @@ public class IdeErrorMessages { } }, DescriptorRenderer.HTML); + MAP.put(VAR_OVERRIDDEN_BY_VAL, "Val-property cannot override var-property
" + + "{1}", DescriptorRenderer.HTML, DescriptorRenderer.HTML); + MAP.setImmutable(); }