Doesn't matter, you will have beer regardless. You could also do an iodine test and if it passes, then stop the mash a little bit early. I would personally add a bit of boiled water to raise it if I had the boiled water ready to go now. The most important thing to take away is how your system works and how to tweak it next time.