If it was me I would bring him in to be checked. There may be a chance of infection, the eye itself could have been scratched and need attention, maybe bandaged up or cleaned out etc. The Vet has equipment to look into his eye and see things you cannot see just looking at it. I would also keep the two dogs seperated, maybe gate off a section or a room for the little one, just to be on the safe side. I hope your little one is OK, give him a hug from us
