Yes, unfortunately. The United fans around me were saying play on, ignore him. That's why they booed him when he ran back on the pitch after treatment.
The ref isn't obliged to stop a game, unless it's a head injury.
It's not as if we didn't do the same last Monday when a Stoke player went...