I'd cover it just to save the frustration of having to drain a pool full of debris, and also in the off chance you decide not to replace the liner.
Another option might be to replace the liner now, and close the pool shortly after. You may get a discounted liner this time of year. Plus, you get...