Dose any know what the best way to repair a hole in a patio desk. It’s not a wooden patio deck.?

I live in an up stair condo unit. The lid of my BBQ was place on the floor of the patio deck with some very hot charcoals inside of the lid, which brunt a small hole in the deck.