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

diff --git a/tests/sav/error_type_not_ok5_alt1.res b/tests/sav/error_type_not_ok5_alt1.res
index aeb78b1..9ecd479 100644
--- a/tests/sav/error_type_not_ok5_alt1.res
+++ b/tests/sav/error_type_not_ok5_alt1.res
@@ -1,7 +1,7 @@
-alt/error_type_not_ok5_alt1.nit:23,8--11: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:25,9--21: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:28,14--17: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:28,7--17: Type error: expected Char, got Bool
-alt/error_type_not_ok5_alt1.nit:29,11--14: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:30,11--14: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:31,13--16: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:23,8--11: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok5_alt1.nit:25,9--21: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok5_alt1.nit:28,14--17: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok5_alt1.nit:28,7--17: Type Error: expected `Char`, got `Bool`.
+alt/error_type_not_ok5_alt1.nit:29,11--14: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok5_alt1.nit:30,11--14: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok5_alt1.nit:31,13--16: Type Error: `Fail[E: nullable Object]` is a generic class.