diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetPropertyElementType.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetPropertyElementType.java index 928be1ad97d..c9e2a00bd52 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetPropertyElementType.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetPropertyElementType.java @@ -71,7 +71,9 @@ public class JetPropertyElementType extends JetStubElementType"); return new PsiJetPropertyStubImpl(JetStubElementTypes.PROPERTY, parentStub, psi.getName(), psi.isVar(), psi.isTopLevel(), JetPsiUtil.getFQName(psi),