contracts: fix usage of contract with `--erasure`
[nit.git] / tests / base_is_optional.nit
2016-05-04 Jean Privattests: add base_is_optional to check the evaluation...