contracts: change the contract syntax

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

diff --git a/tests/sav/base_virtual_type4.res b/tests/sav/base_virtual_type4.res
index d00491f..b4034f1 100644 (file)
--- a/tests/sav/base_virtual_type4.res
+++ b/tests/sav/base_virtual_type4.res
@@ -1 +1 @@
-1
+base_virtual_type4.nit:20,16: Redef Error: a virtual type cannot be refined.