You never said the ball went back to the circle (why would it if they thought they had just completed the 3rd out ... or if it DID get back to the pitcher, did that pitcher drop the ball as they decided to leave the field).
With your clarification, this sounds like the right call. Play never ended. Coach on the field changes nothing other than putting that coach in jeopardy of being tossed.
__________________
I was thinking of the immortal words of Socrates, who said, 'I drank what?'”
West Houston Mike
|