From c296cbf6d15a6a9505e54e103dfddbfa756ea286 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 5 Feb 2013 21:34:09 +0400
Subject: [PATCH] Optimize super-interfaces

---
 .../jetbrains/jet/lang/descriptors/PropertyDescriptor.java    | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/PropertyDescriptor.java b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/PropertyDescriptor.java
index 6984306b448..b648a39db6b 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/PropertyDescriptor.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/PropertyDescriptor.java
@@ -18,14 +18,12 @@ package org.jetbrains.jet.lang.descriptors;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
-import org.jetbrains.jet.lang.descriptors.annotations.Annotated;
 import org.jetbrains.jet.lang.types.TypeSubstitutor;
 
 import java.util.List;
 import java.util.Set;
 
-public interface PropertyDescriptor
-        extends Annotated, Named, DeclarationDescriptor, DeclarationDescriptorNonRoot, VariableDescriptor, CallableMemberDescriptor {
+public interface PropertyDescriptor extends VariableDescriptor, CallableMemberDescriptor {
     @Nullable
     PropertyGetterDescriptor getGetter();