contracts: change the contract syntax

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

diff --git a/tests/sav/base_prot_sig_vt_alt4.res b/tests/sav/base_prot_sig_vt_alt4.res
index e078f7e..e6f7181 100644 (file)
--- a/tests/sav/base_prot_sig_vt_alt4.res
+++ b/tests/sav/base_prot_sig_vt_alt4.res
@@ -1 +1 @@
-alt/base_prot_sig_vt_alt4.nit:34,17--20: Error: The public property `pubPRIA` cannot contain the private type `PRIA`
+alt/base_prot_sig_vt_alt4.nit:34,17--20: Error: the public property `pubPRIA` cannot contain the private type `PRIA`.