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