tests/sav/error_redef2_1alt1_alt7.res

   1 alt/error_redef2_1alt1_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
   2 alt/error_redef2_1alt1_alt7.nit:32,10--12: Redef Error: f1 is a procedure, not a function.