contracts: fix usage of contract with `--erasure`
[nit.git] / tests / test_float_inf.nit
2014-03-05 Alexandre Terrasalib: fixed infinity on floats