Merge: Contract: Change mpropdef driving

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

diff --git a/tests/sav/base_as_notnull2.res b/tests/sav/base_as_notnull2.res
index a64bbf0..1962743 100644 (file)
--- a/tests/sav/base_as_notnull2.res
+++ b/tests/sav/base_as_notnull2.res
@@ -1,5 +1,5 @@
-base_as_notnull2.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`.
-base_as_notnull2.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`.
+base_as_notnull2.nit:30,12: Warning: expression is not null, since it is a `Object`.
+base_as_notnull2.nit:50,12: Warning: expression is not null, since it is a `F: Object`.
 1
 1
 2