From b9283f0afce6a74244e5da175188241d53f7690b Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Wed, 15 May 2013 15:23:50 +0400
Subject: [PATCH] Do not serialize fake overrides

---
 .../jet/descriptors/serialization/DescriptorSerializer.java      | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/DescriptorSerializer.java b/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/DescriptorSerializer.java
index f57b0615535..2f9f8f69f95 100644
--- a/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/DescriptorSerializer.java
+++ b/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/DescriptorSerializer.java
@@ -74,6 +74,7 @@ public class DescriptorSerializer {
             // TODO: other than functions
             if (descriptor instanceof FunctionDescriptor) {
                 FunctionDescriptor function = (FunctionDescriptor) descriptor;
+                if (function.getKind() == CallableMemberDescriptor.Kind.FAKE_OVERRIDE) continue;
                 builder.addMembers(local.functionProto(function));
             }
         }