Estado de Referencia: Estado de México

Buenos Dias, la Situacion es la siguiente:

Tengo un amigo que se caso hace algunos unos años bajo el Regimen de Bienes Mancomunados y en ese tiempo su esposa tramito su credito de INFONAVIT, ellos tenian el acuerdo de que a ella l se le iba a cargar el descuento correspondiente del pago del credito y el cubriria los gastos de la casa donde vivian; hace un año y medio ella decidio tramitar el divorcio, mi amigo no estuvo de acuerdo y cuando menos lo esperaba le llego la notificacion del divorcio, el no quiso asistir a las audiencias del mismo y por tal motivo  se concluyo el matrimonio, tienen una niña de 11 años y el no tiene ningun problema en que ella conserve la guarda y custodia de la niña y tampoco el pago de pension alimenticia,

La duda de mi amigo es que pasara con la casa que se esta´pagando actualmente con el credito INFONAVIT, aclaro que el pago de la casa es por parte de ella, ya que quien tramito el credito fue ella, mi amigo me platico que ella llevo un docuemnto que le brindo su abogada para cederle todos los derechos sobre la casa, pero el no esta de acuerdo en que sea asi, y el quiere una compensacion por los gastos que el cubrio estos años, ojala puedanorientarm para saber que debe hacer mi amigo, el no tiene correo por eso yo escribo esta consulta, de Antemano gracias por la atencion