Something under new liner

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

Donna,

Waste would know better than I, but I've seen him recommend patching an area like, to help protect it. A patch might also make it visible, and server as a reminder for your family to avoid treading on that spot.

We had that happen on one of liner installs several years ago. I did patch it instead of just waiting for the inevitable. No big deal.