tests/sav/error_redef_alt6.sav

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