contracts: change the contract syntax

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

diff --git a/tests/sav/base_as_notnull2_alt1.res b/tests/sav/base_as_notnull2_alt1.res
index 01ee624..c3fe7f3 100644 (file)
--- a/tests/sav/base_as_notnull2_alt1.res
+++ b/tests/sav/base_as_notnull2_alt1.res
@@ -1,3 +1,3 @@
-alt/base_as_notnull2_alt1.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
-alt/base_as_notnull2_alt1.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
-alt/base_as_notnull2_alt1.nit:58,7--10: Type error: expected Object, got null
+alt/base_as_notnull2_alt1.nit:30,12: Warning: expression is not null, since it is a `Object`.
+alt/base_as_notnull2_alt1.nit:50,12: Warning: expression is not null, since it is a `F: Object`.
+alt/base_as_notnull2_alt1.nit:58,7--10: Type Error: expected `Object`, got `null`.