contracts: fix usage of contract with `--erasure`
[nit.git] / tests / test_catch_imbricated.nit
2016-04-12 BlackMinoutests: introducing some tests for the catch