X-Git-Url: http://nitlanguage.org

diff --git a/tests/sav/base_isa_nullable1.res b/tests/sav/base_isa_nullable1.res
index 16f5b04..9553da4 100644
--- a/tests/sav/base_isa_nullable1.res
+++ b/tests/sav/base_isa_nullable1.res
@@ -1,6 +1,7 @@
-base_isa_nullable1.nit:39,8--15: Warning: Expression is already a A since it is a B[Integer].
-base_isa_nullable1.nit:41,8--24: Warning: Expression is already a B[Discrete] since it is a B[Integer].
-base_isa_nullable1.nit:46,8--25: Warning: Expression is already a B[B[Integer]].
-base_isa_nullable1.nit:48,8--26: Warning: Expression is already a B[B[Discrete]] since it is a B[B[Integer]].
-base_isa_nullable1.nit:50,8--33: Warning: Expression is already a B[nullable Discrete] since it is a B[Discrete].
+base_isa_nullable1.nit:39,8--15: Warning: expression is already a `A` since it is a `B[Integer]`.
+base_isa_nullable1.nit:40,8--24: Warning: expression is already a `B[Integer]`.
+base_isa_nullable1.nit:41,8--25: Warning: expression is already a `B[Discrete]` since it is a `B[Integer]`.
+base_isa_nullable1.nit:46,8--27: Warning: expression is already a `B[B[Integer]]`.
+base_isa_nullable1.nit:48,8--28: Warning: expression is already a `B[B[Discrete]]` since it is a `B[B[Integer]]`.
+base_isa_nullable1.nit:50,8--34: Warning: expression is already a `B[nullable Discrete]` since it is a `B[Integer]`.
 true