A permanent resident has the option of going for citizenship after 3 years (if married) or 5 years (if not married). He has been a permanent resident for 15 years. He absolutely does not need marriage to obtain citizenship. You became irrelevant to his citizenship prospects many years ago. Being divorced won't even make it more complicated at this point.

