tests/sav/error_redef_alt3.sav

   1 alt/error_redef_alt3.nit:28,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
   2 alt/error_redef_alt3.nit:28,15: Error: Untyped parameter.