I would not have been worried at all and certainly not have emptied the pond! The best thing to have done was plant up the pond straight away with lots of plants and oxygenating weed and thenthe growth of the plants ,especially at this time of year would soon have cleared any temporary green algae.Probably best to use ordinary soil if you redo it,i did just that and had no problems with mine.