У ребенка храпит нос без соплей - что делать?

Доброе утро.

По утрам у ребенка храпит носик, но сопелек нет и при вытаскивании ничего не выходит. Врач говорит что может из-за предстоящих зубиков, на стенке только слизь небольшая и все хорошо. У кого было такое, что то надо делать или само пройдет ? А то и покашлять может из-за этого