Brushing toddlers teeth

So i accidentally gave my 1 year old a tiny tiny bit of adult toothpaste instead of the kind for kids. His top guns are a little red & looks a bit irritated. Is there anything i can give him or put on his gums to help any discomfort he's having? Or just let it be?