tests: update because resolved types are in error messages

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

diff --git a/tests/sav/base_virtual_type_self_alt5.res b/tests/sav/base_virtual_type_self_alt5.res
index 397a44a..44a485a 100644 (file)
--- a/tests/sav/base_virtual_type_self_alt5.res
+++ b/tests/sav/base_virtual_type_self_alt5.res
@@ -1,3 +1,3 @@
 alt/base_virtual_type_self_alt5.nit:44,9: Type error: expected A[U], got Float
-alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]
-alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[A[U]]
+alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]: A[Int]
+alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[A[U]]: A[A[Int]]