WSOP side pots

[Rocco17]

Are side pots used in the main event at the WSOP or does further betting cease once a player is all in? I watched a hand at the final table where Moneymaker and Vahedi had chips remaining and a 3rd player went all in on the flop. The turn and river were dealt and it didn't appear that MM and Vahedi were given the option to bet. I guess they could have checked it down and I missed it. Any help?