The first thing I would do is ask how you measured that pH. If it was with strips I wouldn't worry about it. If it with a recently calibrated meter I might be tempted to let it go because I have never had a mash pH that low and am kind of curious as to how the beer would come out. In addition to that I would look at my grain bill and water and try to figure out how it got to be so low so that I could make adjustments (reduced sauermalz, reduced dark grains, increased alkalinity in the water...) the next time I brewed it.
If I realized that I had slipped a decimal point and inadvertently and added 50 mL of hydrochloric acid instead of 5 I would then probably add some lime to get the pH a tenth or 2 higher.