Walls – How to fix stud drilled from the side

studswalls

The plumber I hired to install a new washer box drilled a bunch of chunks off one of the studs in my wall. The chunks taken off are from the left side of the stud when looking straight at the wall.enter image description here

From reading the International Residential Code, I assume this is not up to code.
But what can be done to fix it? I'm more worried about the structural integrity of things.

edit:
Here is some more information. I studied how the walls connected. I think the perpendicular stud is actually connecting to an exterior wall.
enter image description here

Best Answer

I see other studs hard against that stud. this part of the wall is probably still stronger than it ever needed to be.