Merge: contracts: fix usage of contract with `--erasure`
[nit.git] / src / nitpm_shared.nit
2018-03-28 Alexis Laferrièrenitpm: rename from picnit