contracts: change the contract syntax
[nit.git] / tests / sav / nitj / test_serialization_alt4.res
2015-07-21 Alexandre Terrasanitj: add tests for the nitj engine