X-Git-Url: http://nitlanguage.org

diff --git a/tests/sav/base_closure6_alt1.sav b/tests/sav/base_closure6_alt1.sav
index 7098be8..5711687 100644
--- a/tests/sav/base_closure6_alt1.sav
+++ b/tests/sav/base_closure6_alt1.sav
@@ -1,4 +1,4 @@
-alt/base_closure6_alt1.nit:53,5--25: Type error: expected U, got T
-alt/base_closure6_alt1.nit:55,25--25: Type error: expected U, got V
-alt/base_closure6_alt1.nit:57,5--61:8: Type error: expected U, got T
-alt/base_closure6_alt1.nit:65,8--8: Type error: expected U, got V
+alt/base_closure6_alt1.nit:54,5--25: Type error: expected U, got T
+alt/base_closure6_alt1.nit:56,25: Type error: no most general type. Got V and U.
+alt/base_closure6_alt1.nit:58,5--66,8: Type error: expected U, got T
+alt/base_closure6_alt1.nit:73,8: Type error: no most general type. Got V and U at 71,8.