contracts: change the contract syntax
[nit.git] / tests / sav / nituml_args1.res
2014-09-23 Lucas Bajoletnituml: Added tests for new tool