Not sure I follow.....if she used the HSA funds for medical expenses, its not taxable,
You need to mark the Self or Family box in the smart worksheet below Line 2 on the 8889 and it wont be a taxable distribution.
