contracts: change the contract syntax

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

diff --git a/tests/sav/base_isa3.res b/tests/sav/base_isa3.res
index fb8cf07..0a31c73 100644 (file)
--- a/tests/sav/base_isa3.res
+++ b/tests/sav/base_isa3.res
@@ -1,12 +1,20 @@
-base_isa3.nit:59,8--14: Warning: Expression is already a A since it is a B.
-base_isa3.nit:64,8--14: Warning: Expression is already a A since it is a C.
-base_isa3.nit:69,8--14: Warning: Expression is already a A since it is a D.
-base_isa3.nit:73,8--14: Warning: Expression is already a E since it is a D.
-base_isa3.nit:74,8--14: Warning: Expression is already a E.
-base_isa3.nit:75,8--14: Warning: Expression is already a E.
-base_isa3.nit:76,8--14: Warning: Expression is already a E.
-base_isa3.nit:79,8--14: Warning: Expression is already a A since it is a E.
-base_isa3.nit:84,8--14: Warning: Expression is already a A since it is a F.
-base_isa3.nit:87,8--14: Warning: Expression is already a G since it is a F.
-base_isa3.nit:91,8--14: Warning: Expression is already a A since it is a G.
+base_isa3.nit:59,8--14: Warning: expression is already a `A` since it is a `B`.
+base_isa3.nit:60,8--14: Warning: expression is already a `B`.
+base_isa3.nit:64,8--14: Warning: expression is already a `A` since it is a `C`.
+base_isa3.nit:66,8--14: Warning: expression is already a `C`.
+base_isa3.nit:69,8--14: Warning: expression is already a `A` since it is a `D`.
+base_isa3.nit:71,8--14: Warning: expression is already a `C` since it is a `D`.
+base_isa3.nit:72,8--14: Warning: expression is already a `D`.
+base_isa3.nit:73,8--14: Warning: expression is already a `E` since it is a `D`.
+base_isa3.nit:74,8--14: Warning: expression is already a `E` since it is a `D`.
+base_isa3.nit:75,8--14: Warning: expression is already a `E` since it is a `D`.
+base_isa3.nit:76,8--14: Warning: expression is already a `E` since it is a `D`.
+base_isa3.nit:79,8--14: Warning: expression is already a `A` since it is a `E`.
+base_isa3.nit:81,8--14: Warning: expression is already a `E`.
+base_isa3.nit:84,8--14: Warning: expression is already a `A` since it is a `F`.
+base_isa3.nit:85,8--14: Warning: expression is already a `E` since it is a `F`.
+base_isa3.nit:86,8--14: Warning: expression is already a `F`.
+base_isa3.nit:87,8--14: Warning: expression is already a `G` since it is a `F`.
+base_isa3.nit:91,8--14: Warning: expression is already a `A` since it is a `G`.
+base_isa3.nit:93,8--14: Warning: expression is already a `G`.
 true