nitc: do not warn on isa related on formal
[nit.git] / tests / error_redef3.nit
2012-11-08 Jean Privatmodelbuilder: error when a module defines a class more...