Should I mention it???

Had sex with my guy friend today and i think his penis was smelly. Should I tell him? This is the first time that I’ve noticed that. It made my vagina stink. I can smell his cum but then the mixture of his penis hits me. And it made my vagina irritated.