Hola Berta,
Para quitar no solo el olor a orín de gato sino también las bacterias dile a tu compañera que use un LIMPIADOR ENZIMÁTICO, lo encuentra fácil en Amazon o en cualquier tienda de animales. Es específico para eso, lo echas sobre las superficies que en las que meó (échale bastante producto) y lo dejas actuar hasta que seque (24/48h). Ya verás que no queda ningún rastro de olor de manera para que el gato no esté tentado de volver a hacerlo en el mismo sitio. Además de todo ello para procurar evitar marcajes (si no puede esterilizar al gato) que compre un difusor de hormonas felinas (Feliway Classic) que lo tiene que tener enchufado las 24 horas del día en la habitación donde pase más tiempo el gato y que esté libre de corrientes. Tarda en hacer efecto 15 días aprox y no hace milagros pero si rebaja los marcajes porque los relaja.