contracts: change the contract syntax

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

diff --git a/tests/sav/base_virtual_type_redef_alt1.res b/tests/sav/base_virtual_type_redef_alt1.res
index f6fa7dd..c1536d2 100644 (file)
--- a/tests/sav/base_virtual_type_redef_alt1.res
+++ b/tests/sav/base_virtual_type_redef_alt1.res
@@ -1 +1 @@
-alt/base_virtual_type_redef_alt1.nit:26,20--25: Redef Error: Wrong bound type. Found Number, expected a subtype of Int, as in base_virtual_type_redef_alt1#Number#OTHE2.
+alt/base_virtual_type_redef_alt1.nit:26,20--25: Redef Error: expected `Int` bound type; got `Number`.