Slight dealer mistake. Should anyone correct?

[juanez]

[ QUOTE ]
I'm out of the pot.


[/ QUOTE ]
IMHO, you should just let it go and say nothing. You're not involved in this hand.

[ QUOTE ]
First to act bets $12 and the second guy immediately folds.


[/ QUOTE ]
It's a $6 bet, regardless of what the first guy throws out there. If the second guy was interested in continuing he shouldn't have mucked his cards, but instead called the $6 or raised.

Not that it matters much, but did the dealer even have a chance to correct the first player and push $6 back to him before the second guy IMMEDIATELY mucked his cards? It's the first player who made a mistake here. And the second player made another mistake if he was oblivious to the limit of the game he was playing and folded based on the incorrect bet size. I see no dealer error based on the OP.