DD1 (in reception) came home today saying a friend had dragged her around, scratched her and 'fiddled with her' (her words - think she means touching her annoyingly but nothing 'inappropriate' for want of a better word) while they were playing together at lunchtime. She says she didn't retaliate but informed the lunchtime supervisor, who apparently did nothing.
DD1 seemed more irritated by it than upset. I don't know whether I should raise it with her class teacher (assuming DD1 is right about the supervisor having let it slide) or leave it. The 'friend' has form for being rough with other classmates but this is the first time DD1 has been on the receiving end. Advice please on whether I should mention it to the teacher or let it lie...