If you have more of the liner material, I would suggest "patching" a piece of that material over the liner and return......allowing 2-3 " all around.
Even if you don't have any of the same liner, I would do it with plain white pool liner. Patching the liner is a fairly easy fix.
Be sure to...