[rburgh]

I had a pitcher take a no-hitter into the 9th in a tournament. He allowed a one-out single, and was relieved. The next batter was a pinch-hitter, and grounded into a game ending double play. But the box score shows him with a runner left on base. Is that the right way to handle this situation?