From c07c3172682851f841c77ccec2f7e9acd4c59123 Mon Sep 17 00:00:00 2001 From: "Pavel V. Talanov" Date: Mon, 6 Aug 2012 16:56:27 +0400 Subject: [PATCH] JetClassOrObject extends JetElement. Adapted from https://github.com/develar/kotlin/commit/9ac92f00a163ddf9bb3a6d7a6f4f47578c8c6dfb by develar. --- .../src/org/jetbrains/jet/lang/psi/JetClassOrObject.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassOrObject.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassOrObject.java index ab95aca8e57..8a4c580f8c6 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassOrObject.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassOrObject.java @@ -26,7 +26,7 @@ import java.util.List; /** * @author max */ -public interface JetClassOrObject extends PsiNameIdentifierOwner, JetDeclarationContainer { +public interface JetClassOrObject extends PsiNameIdentifierOwner, JetDeclarationContainer, JetElement { @Nullable JetDelegationSpecifierList getDelegationSpecifierList();