contracts: Remove `contract_name` property
[nit.git] / tests / base_attr_boxing.nit
2012-12-09 Jean Privattests: add base_attr_boxing.nit