Got called by another girls name?

Okay so, I was lying in bed this morning and in his sleep, my boyfriend rolled over hugged me, started grinding on me and called me his best friends name.
Usually this wouldn’t bother me too much, because I know you can’t control what you do or say in your sleep, but what does bother me is that a while ago he told me that he was in love with this girl, and had a relationship with her for about a year on and off, and they didn’t tell anyone about it. She still practically lives at his place, and I don't know what to do.
Whether I should ignore it, or talk to him about it.
Help pls!
Good
Bad
Select gender and age to cast your vote:
Got called by another girls name?
Post Opinion