Yea that's a little shocking. I know they've omitted Angel of Death a few times but they've always played Raining Blood and all four members have stated its their favorite song to play live.
Maybe they were told they needed to cut their set short mid set and just thought fast.
I could DIIIIIIIIE! Or worse, DIIIIIIIIIIIIE!