contracts: change the contract syntax
[nit.git] / tests / sav / nitcg / fixme / base_gen_reassign_alt6.res
1 Cast error: Cannot cast Int to Float.
2 11
3 21
4 31
5 12
6 22
7 32
8 12
9 22
10 32