It is the referee's discretion which penalty to assess: the rule calls for a double minor for an accidental injury, or a match penalty for a deliberate attempt to injure (whether the opposition player was actually injured).