As far as I'm aware, Spanish law on this is similar to UK law, and the split of the house proceeds will be according to the proportion of ownership as shown on the deeds (whereas, if they were married, she'd be entitled to more)