From fbaaee65e1bde7701d7c87b2659b34029a87aaac Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Tue, 25 Dec 2012 01:20:38 +0400
Subject: [PATCH] Fixed rendering constructor name.

---
 .../src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index 22d08543abb..08ae12cd6b6 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -400,7 +400,7 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
         builder.append(renderKeyword("ctor")).append(" ");
 
         ClassDescriptor classDescriptor = constructorDescriptor.getContainingDeclaration();
-        builder.append(classDescriptor.getName());
+        renderName(classDescriptor, builder);
 
         renderTypeParameters(classDescriptor.getTypeConstructor().getParameters(), builder);
         renderValueParameters(constructorDescriptor, builder);