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