Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / sav / error_redef_class.res
1 error_redef_class.nit:17,13--16: Redef Error: no imported class `Fail` to refine.