contracts: change the contract syntax
[nit.git] / tests / sav / base_virtual_type_redef.res
index 0a956f4..e69de29 100644 (file)
@@ -1,2 +0,0 @@
-base_virtual_type_redef.nit:24,13--17: Ambigous property name 'OTHER' for Int; conflict between base_virtual_type_redef::Number::OTHER and standard::kernel::Comparable::OTHER
-base_virtual_type_redef.nit:24,2--22: Error: No property Int::OTHER is inherited. Remove the redef keyword to define a new property.