What would I do?

Nothing.

Calling the other electrician to let him know his guy did not find the problem is really none of my business. It's the other guys business. Only unless I knew of the other electrician might I call him and let him know one of his guys screwed up and I got a call to see if I could correct the problem. Getting into another contractors business is IMO a bad idea.