contracts: change the contract syntax

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

diff --git a/tests/sav/base_isa_nullable2.res b/tests/sav/base_isa_nullable2.res
index 3f41608..2440af9 100644 (file)
--- a/tests/sav/base_isa_nullable2.res
+++ b/tests/sav/base_isa_nullable2.res
@@ -1,5 +1,5 @@
-base_isa_nullable2.nit:27,8--23: Warning: Expression is already a nullable A since it is a A.
-base_isa_nullable2.nit:29,8--30: Warning: Expression is already a nullable B[Object] since it is a B[Object].
-base_isa_nullable2.nit:30,8--39: Warning: Expression is already a nullable B[nullable Object] since it is a nullable B[Object].
-base_isa_nullable2.nit:33,8--30: Warning: Expression is already a C[nullable Object].
+base_isa_nullable2.nit:27,8--23: Warning: expression is already a `nullable A` since it is a `A`.
+base_isa_nullable2.nit:29,8--31: Warning: expression is already a `nullable B[Object]` since it is a `B[Object]`.
+base_isa_nullable2.nit:30,8--40: Warning: expression is already a `nullable B[nullable Object]` since it is a `B[Object]`.
+base_isa_nullable2.nit:33,8--31: Warning: expression is already a `C[nullable Object]`.
 true