Merge: mnit: Fix error on refined virtual types
authorJean Privat <jean@pryen.org>
Tue, 13 Oct 2015 16:29:59 +0000 (12:29 -0400)
committerJean Privat <jean@pryen.org>
Tue, 13 Oct 2015 16:29:59 +0000 (12:29 -0400)
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>


No differences found