Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / error_right_bool.res
1 error_right_bool.nit:17,12: Type Error: expected `Bool`, got `Int`.