i have seen something like it
ruling then was both hands still live, and the chips are put back as they were.....ie blinds/antes in seperate piles then the shove
As all the cards are mixed up the deck is reshuffled and if the big blind calls the community cards can then be dealt as normal
Yeah this is what I was thinking. Thought I'd check RRoP and TDA rules but cant find anything like this. I'd do the same, neither player has benefited/will lose out from the dealers mistake, they dont know the cards that are in the muck.