What ever happened to injured NFL referee forced to leave Bills' TNF loss to Texans?

In addition to three Buffalo Bills' players leaving and not returning due to injury on Thursday Night Football, head referee ...