Not really.
It's very easy to put two prize cards back in the deck.
The player had no advantage, as long as they weren't playing a card that gets an advantage if behind in the prize count.
Also, this was a prerelease. There are no prizes or points on the line.
Just make the fix, give a Caution or Warning, and play on.