welcome to hcm
thanks for the query
surgery healing time can be nearly 10 days or at the most 2 weeks.
wait for one more week
if it not subsides and after if pain, swelling, redness
increase in the surgical area or if he develops signs of infection then consult your opthalamologist
sometimes it tend to recur at the same place.if it recurs then the ophthalmologist may suggest a biopsy