What do you do when your child throws up snot(sorry TMI)?

My doctor told us to give Adam a small dose of triamenic cold and allergy when he was puking so much from snot we thought it was stomach flu at first. We found claritin also worked well, I have never used benadryl.