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