Articulo 438 Código del Derecho Foral de Aragón

Salvo que del testamento resulte que la voluntad del testador o testadores fue otra, no surtirán efecto las disposiciones correspectivas entre los cónyuges, ni las liberalidades concedidas en testamento por uno de ellos al otro, si al fallecer aquél estuviera declarada judicialmente la nulidad del matrimonio, decretado el divorcio o la separación o se encontraran en trámite, a instancia de uno o ambos cónyuges, los procedimientos dirigidos a ese fin.