Mich St/Michigan Shot Clock Violation

[Nevadaref]

Was there a horn prior to the Michigan State player obtaining possession?

If not, then the play was handled correctly.

RULE 2 Officials and Their Duties
Section 11. Duties of Shot-Clock Operator
Art. 9. Sound the shot-clock horn at the expiration of the shot-clock period.
This shot-clock horn shall not stop play unless recognized by an official’s
whistle. When the shot clock indicates zeros but the shot-clock horn has
not sounded, the shot-clock time has not expired.