Can an ill-advised 401k withdrawal be undone?

A friend of mine purchased a home last year after renting for a while. She is approximately 60 years of age. When considering how to finance the purchase, she considered two options:

• Taking out a mortgage to purchase and renovate the house with a modest down payment
• Taking a withdrawal from her retirement account (I believe it is a 401k) and using that to purchase the house outright and renovate it

She was hesitant to take the first option because of a less-than-ideal credit history and a desire not to be locked into another monthly payment in retirement (assuming the mortgage would have a 15+ year term). So, she went with the second option, and took a withdrawal from her retirement for approximately half of her total savings (I estimate around $60k was distributed).

Setting aside whether that in itself was a good decision, this spring she came to the unwelcome realization that she owes income tax on the large distribution, and hadn’t planned for it. Therefore, just coming up with the money to pay the income taxes she now owes for tax year 2019 will be a real hardship.

Does she have any good options here? If I had a time machine, I would go back and strongly encourage the standard home-mortgage option instead; she would be in a much better position now had she done so. Is there any means of “undoing” the distribution, for instance if she was able to mortgage the home now? I suspect that once the distribution is taken, the damage is done, but I wanted to ask the question here to see if she has any good paths forward.