contracts: change the contract syntax

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

diff --git a/tests/sav/base_isa_gen1.res b/tests/sav/base_isa_gen1.res
index e8ade92..31017d3 100644 (file)
--- a/tests/sav/base_isa_gen1.res
+++ b/tests/sav/base_isa_gen1.res
@@ -1,4 +1,7 @@
 base_isa_gen1.nit:62,8--14: Warning: expression is already a `A` since it is a `F`.
-base_isa_gen1.nit:65,8--29: Warning: expression is already a `D[Object, Object]` since it is a `G[Object]`.
-base_isa_gen1.nit:66,8--29: Warning: expression is already a `D[Object, Object]` since it is a `E[F]`.
+base_isa_gen1.nit:63,8--14: Warning: expression is already a `C` since it is a `F`.
+base_isa_gen1.nit:65,8--30: Warning: expression is already a `D[Object, Object]` since it is a `G[Object]`.
+base_isa_gen1.nit:66,8--30: Warning: expression is already a `D[Object, Object]` since it is a `E[F]`.
+base_isa_gen1.nit:67,8--25: Warning: expression is already a `D[A, Object]` since it is a `E[F]`.
+base_isa_gen1.nit:69,8--25: Warning: expression is already a `D[F, Object]` since it is a `E[F]`.
 true