Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / base_var_assignment_flow_alt1.res
1 alt/base_var_assignment_flow_alt1.nit:34,1: Error: possibly unset variable `a`.