If that was Callum McGregor or Ryan Jack, would a red card have been shown?
Not a chance.
As Div says, it's unfortunate what happened but there was no malice, no aggression, just an unfortunate accident.
Common sense has to apply in these type of incidents