X-Git-Url: http://nitlanguage.org?ds=sidebyside

diff --git a/tests/sav/base_virtual_type4_alt1.res b/tests/sav/base_virtual_type4_alt1.res
deleted file mode 100644
index cae0e93..0000000
--- a/tests/sav/base_virtual_type4_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-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`.