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

diff --git a/tests/sav/base_virtual_type7.res b/tests/sav/base_virtual_type7.res
index 0fc0245..0e4cfe9 100644
--- a/tests/sav/base_virtual_type7.res
+++ b/tests/sav/base_virtual_type7.res
@@ -1,2 +1 @@
-base_virtual_type7.nit:20,2--10: Error: circularity of virtual type definition: E -> F -> E
-base_virtual_type7.nit:21,2--10: Error: circularity of virtual type definition: F -> E -> F
+base_virtual_type7.nit:20,2--10: Error: circularity of virtual type definition: E <-> F.