From bf2a31b877cbf7453f5c2243fa9a076e27520007 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Sat, 16 Jun 2012 17:17:41 +0400
Subject: [PATCH] Replaced text descriptor renderer with html for types in
 RETURN_TYPE_MISMATCH_ON_OVERRIDE

---
 .../org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java
index af34dc07145..f2822898e88 100644
--- a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java
+++ b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java
@@ -111,7 +111,7 @@ public class IdeErrorMessages {
                     @NotNull
                     @Override
                     public String render(@NotNull CallableMemberDescriptor object) {
-                        return DescriptorRenderer.TEXT.renderType(object.getReturnType());
+                        return DescriptorRenderer.HTML.renderType(object.getReturnType());
                     }
                 }, DescriptorRenderer.HTML);