With the help of Pool forum I installed my new liner. I was very proud, it was tight as a drum and overall project went smoothly. Now I noticed what is probably a pointy rock about the size of the tip of my thumb under the liner near the middle of the pool. should I put a patch over it before it rips, wait and see? dont know what the right thing to do is. Would welcome any suggestions

24ft round AG pool