From 62962fa9c6034a7a88d87ee83475c9c8120acab9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Alexis=20Laferri=C3=A8re?= <alexis.laf@xymus.net>
Date: Sat, 6 May 2017 15:29:27 -0400
Subject: [PATCH] highlight: fix broken support for `MVirtualType`
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
---
 src/highlight.nit |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/highlight.nit b/src/highlight.nit
index cf7c598..5141fbe 100644
--- a/src/highlight.nit
+++ b/src/highlight.nit
@@ -551,8 +551,8 @@ redef class MVirtualType
 		var res = new HInfoBox(v, to_s)
 		res.href = v.hrefto(mproperty)
 		var p = mproperty
+		res.new_field("virtual type").add p.intro.linkto(v)
 		add_doc_to_infobox(res)
-		if mdoc != null then mdoc.fill_infobox(res)
 		return res
 	end
 	redef fun linkto(v)
-- 
1.7.9.5