Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / error_redef_class.nit
2013-11-26 Jean Privatmodelbuilder: fail on unknown redef class