Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / error_redef_class.res
1 error_redef_class.nit:17,13--16: Error: class `Fail` not found in module `error_redef_class`.