contracts: change the contract syntax
[nit.git] / tests / sav / error_virtual_type_alt3.res
index 1bad756..74c01ee 100644 (file)
@@ -1,2 +1 @@
-alt/error_virtual_type_alt3.nit:25,12: Type error: expected Object, got T
-alt/error_virtual_type_alt3.nit:22,2--25,12: Error: circularity of virtual type definition: T <-> G[T]
+alt/error_virtual_type_alt3.nit:22,2--25,13: Error: circularity of virtual type definition: T <-> G[T].