diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java index ccaa3f93557..e5037a6841f 100644 --- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java +++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java @@ -566,7 +566,8 @@ public class DescriptorRendererImpl implements DescriptorRenderer { if (!startFromName) { renderAnnotations(klass, builder); renderVisibility(klass.getVisibility(), builder); - if (klass.getKind() != ClassKind.TRAIT && !klass.getKind().isObject()) { + if (!(klass.getKind() == ClassKind.TRAIT && klass.getModality() == Modality.ABSTRACT + || klass.getKind().isObject() && klass.getModality() == Modality.FINAL)) { renderModality(klass.getModality(), builder); } builder.append(renderKeyword(getClassKindPrefix(klass)));