If it were me, I would encourage my child to just continue ignoring the other child and being polite when she has to interact. In the adult world, she will also encounter plenty of people with dysfunctions, and it's an important life lesson to know how to not get sucked in or take it personally, but just to remain neutral and composed.