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)); } }