Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / error_kern_attr_any.res
1 error_kern_attr_any.nit:18,6--9: Error: attempt to define attribute `toto` in the interface `Object`.