Toi: The Mechaber seems to say that you should be Machmir for Ohel as well. And I thought it’s a Machlokes Haposkim whether Meisei Akum are Tofes 4 Amos.
It’s irrelevant anyway. Even if it is her, it’s not M’tamei. There’s no corpse. There’s no Atzamos. There’s no Eiver Min Hameis. There’s no M’lo Tarvad Rekev. There’s nothing there that could be M’tamei a Kohen.