contracts: change the contract syntax
[nit.git] / tests / sav / error_virtual_type2.res
index 417f403..92b9dfd 100644 (file)
@@ -1 +1 @@
-error_virtual_type2.nit:40,17--26: Redef Error: Wrong bound type. Found G[Discrete], expected a subtype of G[T], as in error_virtual_type2#A#GT.
+error_virtual_type2.nit:40,17--27: Redef Error: expected `G[T]` bound type; got `G[Discrete]`.