contracts: change the contract syntax

[nit.git] / tests / sav / error_attr_2def.res

diff --git a/tests/sav/error_attr_2def.res b/tests/sav/error_attr_2def.res
index 58d4122..8561cdf 100644 (file)
--- a/tests/sav/error_attr_2def.res
+++ b/tests/sav/error_attr_2def.res
@@ -1,2 +1 @@
-error_attr_2def.nit:19,6--10: Redef error: A::_toto is an inherited property. To redefine it, add the redef keyword.
-error_attr_2def.nit:19,13--18: Redef Error: Wrong static type. found Object, expected Int.
+error_attr_2def.nit:19,6--9: Error: a property `toto` is already defined in class `A` at line 18.