contracts: Remove `contract_name` property
[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`.