contracts: change the contract syntax

[nit.git] / tests / sav / base_virtual_type7.res

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