hamstring pull or cramp

i had an athlete pull up yesterday in a workout. she said that it was her hamstring, but that it was her entire hamstring from behind the knee up to her butt. when i checked her legs, i couldn’t find any clear problems and her injured leg as a whole wasn’t any tighter than the other one. i’m hoping it was just a cramp as opposed to a pull since there was no specific trauma. does anyone on the forum have any experience with this kind of situation? should i just treat it as a pull and take the precautions that Charlie stated in a previous post?