That's a pretty broad assumption your making. If there is a next employee who is harassed, he/she can file the complaint, and the company can deal with it then

That's a pretty broad assumption your making. If there is a next employee who is harassed, he/she can file the complaint, and the company can deal with it then. As it stands, no company policy was violated, and the female employee doesn't think this is an issue. This is a single incident, that again occurred during the weekend, and over Whatsapp (both parties consenting to share numbers).