[Nick-Zack]

This is just another example of a dealer doing to much. His job isn't to decide if a player saw that he was called. His job is to push the pot to the winner and you clearly won when he mucked.