Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / base_assert_alt2.res
1 alt/base_assert_alt2.nit:23,9: Type Error: expected `Bool`, got `Int`.