revocation-upon-divorce statute

Imagine this scenario:  husband buys life insurance and designates his wife as the beneficiary. A few years later the state adopts a revocation-upon-divorce statute applicable to life insurance beneficiaries which states that upon divorce the designation of a spouse as a life insurance beneficiary is revoked. A few years after that the couple divorces but the husband never changes his life insurance beneficiary. A few years after that the husband dies.

Is the ex-wife still the beneficiary?

In ...