From d494f4917350bd86eb03cf68deac7e70f9eba07d Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Fri, 7 Jun 2013 20:47:02 +0400
Subject: [PATCH] Removing unneeded flag

---
 .../src/org/jetbrains/jet/lang/resolve/BindingContext.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingContext.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingContext.java
index 9e51ebd58c2..cb7af3786d2 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingContext.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingContext.java
@@ -168,10 +168,10 @@ public interface BindingContext {
             else if (propertyDescriptor.isVar() && setter == null) {
                 return true;
             }
-            else if (setter != null && !setter.hasBody() && setter.getModality() != Modality.ABSTRACT) {
+            else if (setter != null && !setter.isDefault() && setter.getModality() != Modality.ABSTRACT) {
                 return true;
             }
-            else if (!getter.hasBody() && getter.getModality() != Modality.ABSTRACT) {
+            else if (!getter.isDefault() && getter.getModality() != Modality.ABSTRACT) {
                 return true;
             }
             return backingFieldRequired;