I Have A 7 Year Old Daughter Who For The

I have a 7 year old daughter who for the last 4 weeks continually rubs her nose and pushes it up and down sometimes pulls a face like sniffing - I ask her to try send tell me how it feels and she said her nose tingles. I have been to doctors they did have a look up her nose but said it was just s habit?? Can you suggest anything please