check_annotation: adding no_contract
[nit.git] / contrib / nitc
1 ../src