contracts: change the contract syntax
[nit.git] / tests / test_catch_imbricated.nit
2016-04-12 BlackMinoutests: introducing some tests for the catch