contracts: fix usage of contract with `--erasure`
[nit.git] / tests / error_operators.nit
2015-04-18 Jean Privattests: add error_operators.nit