Reparto piso en divorcio

Piso adquirido fuera del matrimonio por una de las partes, se acaba de pagar ya una vez casados en régimen de gananciales y se escritura a nombre de los dos. Tres hijos mayores de edad. Pregunta, en caso de divorcio, la otra parte tiene derecho a la mitad del piso o sólo a la parte proporcional de lo que se pagó dentro del matrimonio.