Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / base_covar_int_alt2.res
1 alt/base_covar_int_alt2.nit:36,7--8: Type Error: expected `Int`, got `Discrete`.