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

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