Possibly, though with relative humidity in my neck of the woods in the 15-30% ballpark, and dew points 10-20 degrees below where the temps bottom out at night, it's not too likely.
I really am not sure, though. So, last night when I topped the pool off, I filled to where the water line...