contracts: fix usage of contract with `--erasure`
[nit.git] / tests / contracts_expects_2.nit
2019-09-25 Florian Deljarrytests: adding contract testing files