It's probably something dodgy in the coke. My youngest son swelled up like a balloon after drinking green gatorade - whole face distorted beyond recognition. I think the technical term is urticaria, but what the heck do I know? Get it checked out if you're worried - or do a wee test and drink more coke and see what happens...