contracts: change the contract syntax
[nit.git] / tests / sav / nitsaf_args6.res
2015-12-19 Alexandre Terrasanitsaf: add loop flow set merge