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

diff --git a/tests/sav/base_virtual_type7.sav b/tests/sav/base_virtual_type7.sav
deleted file mode 100644
index 6b60e8a..0000000
--- a/tests/sav/base_virtual_type7.sav
+++ /dev/null
@@ -1 +0,0 @@
-base_virtual_type7.nit:20,10: Type error: circular definition in formal type F.