chipped plaster

I have a new inground, gunite pool. The pool builder thought that there was a leak at the skimmer, so he had his guys repair it with some pool putty. They accidentally dropped a few small pieces of putty into the pool, and it cured and hardened on the plaster. Pool builder said that it wasn't...