OMG!....The key phrase is ‘the student made a comment’.
A comment is not necessarily a threat. It is often nothing more than an observation. My guess is if the average female student had said this, nothing more than a few giggles would have been the result.
I don’t know there was that cute girl at the airport who made the Texas Tech finger pistol hand sign and got hauled away for questioning...