[saintpeter]

Where does it say player 2 mucked his cards? If he opened his cards, regardless of what he said, the cards speak i.e. his hand is a straight flush and the winner.