diff --git a/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java b/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java index f6a46d59fa4..2261bbaea69 100644 --- a/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java +++ b/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java @@ -79,7 +79,7 @@ public class DescriptorRenderer { } public String renderType(JetType type) { - return "" + type; + return escape(type.toString()); } protected String escape(String s) {