contracts: Remove `contract_name` property
[nit.git] / examples / rosettacode / integer_overflow.nit
2017-05-15 PatrickBlanchetterosettacode: Add integer_overflow rosetta code exemple