I understand why you disagree, but I don't think there's an obvious right answer here, it sucks either way. I don't think you're in a position to pass judgement unless you were actually there and knew the students personally. What if this would have made the rest of the class resent the one student? That would be a far more damaging outcome in my mind.