contracts: change the contract syntax
[nit.git] / tests / error_unk_class2.nit
2016-04-22 Jean Privattests: add tests for unknown class hints