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