Whether she takes it or not, she should still be paid for it. Her months notice was due to expire on the 12th July but she wanted to take her accrued 5 days leave making her leaving date the 5th July.
Equally they could have asked her to leave immediately but either way they would have to...