contracts: fix usage of contract with `--erasure`
[nit.git] / tests / base_assert.nit
2009-08-19 Jean Privatsyntax: new 'assert else' statement