Normally it is best to do any pruning/lopping/ during the time of the year
when the tree is dormant. However, I have seen trees worked on at the wrong
time of the year and they survived. You might keep an eye on the part that
is effected and make sure it heals properly. If not contact the one who
said it would be OK, and have him fix it.

Dwayne (in Kansas)