contracts: change the contract syntax
[nit.git] / tests / sav / error_redef2_1alt3_alt5.res
index 5251dd9..dd7ac1d 100644 (file)
@@ -1,2 +1 @@
-alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt5.nit:30,8--15: Redef error: error_redef2_1alt3_alt5#B#f1 redefines error_redef2_1alt3_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt5#B#f1: Int
+alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef Error: `B::f1` is an inherited property. To redefine it, add the `redef` keyword.