Merge remote branch 'pu/new-style_attributes' into wip
[nit.git] / tests / sav / error_kern_attr_int.sav
1 ./error_kern_attr_int.nit:18,2--18: Error: Attempt to define attribute _toto in the universal class Int.