contracts: change the contract syntax

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

diff --git a/tests/sav/base_attr3_alt1.res b/tests/sav/base_attr3_alt1.res
index e42c5e0..dcf9d45 100644 (file)
--- a/tests/sav/base_attr3_alt1.res
+++ b/tests/sav/base_attr3_alt1.res
@@ -1,10 +1,8 @@
-alt/base_attr3_alt1.nit:22,3--8: Error: Method or variable 'a1=' unknown in B.
-alt/base_attr3_alt1.nit:24,3--8: Error: Method or variable 'a2=' unknown in B.
-alt/base_attr3_alt1.nit:25,3--4: Error: Method or variable 'a3' unknown in B.
-alt/base_attr3_alt1.nit:26,3--8: Error: Method or variable 'a3=' unknown in B.
-alt/base_attr3_alt1.nit:31,3--4: Error: Method or variable 'a6' unknown in B.
-alt/base_attr3_alt1.nit:37,3--4: Error: Method or variable 'a9' unknown in B.
-alt/base_attr3_alt1.nit:40,3--9: Error: Method or variable 'a10=' unknown in B.
-alt/base_attr3_alt1.nit:42,3--9: Error: Method or variable 'a11=' unknown in B.
-alt/base_attr3_alt1.nit:43,3--5: Error: Method or variable 'a12' unknown in B.
-alt/base_attr3_alt1.nit:44,3--9: Error: Method or variable 'a12=' unknown in B.
+alt/base_attr3_alt1.nit:25,3--4: Error: method or variable `a3` unknown in `B`.
+alt/base_attr3_alt1.nit:26,3--4: Error: method or variable `a3=` unknown in `B`.
+alt/base_attr3_alt1.nit:31,3--4: Error: method or variable `a6` unknown in `B`.
+alt/base_attr3_alt1.nit:37,3--4: Error: method or variable `a9` unknown in `B`.
+alt/base_attr3_alt1.nit:40,3--5: Error: method or variable `a10=` unknown in `B`.
+alt/base_attr3_alt1.nit:42,3--5: Error: method or variable `a11=` unknown in `B`.
+alt/base_attr3_alt1.nit:43,3--5: Error: method or variable `a12` unknown in `B`.
+alt/base_attr3_alt1.nit:44,3--5: Error: method or variable `a12=` unknown in `B`.