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

diff --git a/tests/sav/base_notnull_1alt1_alt4.res b/tests/sav/base_notnull_1alt1_alt4.res
index b0f0ecd..0669cc0 100644
--- a/tests/sav/base_notnull_1alt1_alt4.res
+++ b/tests/sav/base_notnull_1alt1_alt4.res
@@ -1,6 +1,6 @@
-alt/base_notnull_1alt1_alt4.nit:23,7: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt4.nit:24,7: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt4.nit:27,12: Type error: expected Object, got null
-alt/base_notnull_1alt1_alt4.nit:30,12: Type error: expected Object, got null
-alt/base_notnull_1alt1_alt4.nit:35,7--17: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt4.nit:36,7--17: Type error: expected Object, got nullable E: nullable Object
+alt/base_notnull_1alt1_alt4.nit:23,7: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt4.nit:24,7: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt4.nit:27,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_1alt1_alt4.nit:30,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_1alt1_alt4.nit:35,7--17: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt4.nit:36,7--17: Type Error: expected `Object`, got `nullable E: nullable Object`.