contracts: change the contract syntax
[nit.git] / tests / sav / niti / fixme / test_jvm_alt1.res
1 UNDEFINED