nitc: do not warn on isa related on formal
[nit.git] / tests / sav / error_meth_2def.sav
1 error_meth_2def.nit:19,6--9: Error: A property toto is already defined in class A.