Merge remote-tracking branch 'upstream/master' into init_auto

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

diff --git a/tests/sav/base_virtual_type_self_alt2.res b/tests/sav/base_virtual_type_self_alt2.res
index 3eeff31..27b5633 100644 (file)
--- a/tests/sav/base_virtual_type_self_alt2.res
+++ b/tests/sav/base_virtual_type_self_alt2.res
@@ -1,3 +1,3 @@
-alt/base_virtual_type_self_alt2.nit:44,9: Type Error: expected `Int`, got `Float`.
-alt/base_virtual_type_self_alt2.nit:45,7--12: Type Error: expected `Float`, got `Int`.
-alt/base_virtual_type_self_alt2.nit:47,7--12: Type Error: expected `Float`, got `A[Int]`.
+alt/base_virtual_type_self_alt2.nit:44,9: Type Error: expected `U`, got `Float`.
+alt/base_virtual_type_self_alt2.nit:45,7--12: Type Error: expected `Float`, got `U: Int`.
+alt/base_virtual_type_self_alt2.nit:47,7--12: Type Error: expected `Float`, got `A[U]: A[Int]`.