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

Salvo que del testamento resulte que la voluntad del testador o los 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, se hallaran divorciados o separados legalmente o estuviera declarada judicialmente la nulidad del matrimonio o se encontraran en trámite, a instancia de uno o ambos cónyuges, los procedimientos ante el Juez o el Letrado de la Administración de Justicia dirigidos a ese fin.