Mineral oil

My man and I had sex yesterday with a condom and he used mineral oil as lube. I’m hindsight, I’m worried it could have harmful effects. Is there any precaution I should take now??