Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / base_user_annotation4.res
1 base_user_annotation4.nit:16,2--19: Warning: an annotation `foo` is already declared in module `base_user_annotation`.