From: Jean Privat <jean@pryen.org>
Date: Tue, 13 Oct 2015 16:29:59 +0000 (-0400)
Subject: Merge: mnit: Fix error on refined virtual types
X-Git-Tag: v0.7.9~37
X-Git-Url: http://nitlanguage.org?hp=6064cf2ff603453cb6a61adecfdda2e0c1f31cf6

Merge: mnit: Fix error on refined virtual types

Simple fix for the "Redef Error" in mnit clients: do not redef virtual types, instead assert the types in the users methods.

Pull-Request: #1751
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Jean Privat <jean@pryen.org>
---