X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/base_virtual_type4_alt1.res b/tests/sav/base_virtual_type4_alt1.res index 39bff1c..cae0e93 100644 --- a/tests/sav/base_virtual_type4_alt1.res +++ b/tests/sav/base_virtual_type4_alt1.res @@ -1,2 +1,2 @@ alt/base_virtual_type4_alt1.nit:20,16: Redef Error: a virtual type cannot be refined. -alt/base_virtual_type4_alt1.nit:24,7--11: Type error: expected nullable U, got T +alt/base_virtual_type4_alt1.nit:24,7--11: Type Error: expected `nullable U`, got `T`.