If you are still feeling upset by what you think he said, approach him first before you get management involved, because there isn't much management can do if he didn't say it directly to you. People say the darndest things; trust me I've had many difficult times in my life and it's amazing the things that can come out of people's mouths. Over twenty years ago I was in the midst of a very tragic situation, and a woman came out of the bathroom stall next to me and said something really off the wall...and I still giggle and shake my head about
it to this day because I couldn't believe anyone would ask such a question. The only thing I can say is that it has made me more sensitive to others feelings and able to shake off the insensitive folks out there.