Should I use my savings to pay off credit card debt?

She's been socking away savings and putting money toward retirement, but her $9,000 credit card debt is nagging at her.