The name here is anisocoria or difference in pupil size. See an ophthalmologist to see if there is anything serious. There are several, harmless causes, and a few serious causes. Associated double vision or a droopy eyelid are cause for major concern. You can look up the different causes of aniosocoria including adies pupil, horners syndrome, and third nerve palsy and remember to see an ophthalmologist.