Take a copy of exit stamp on his passport and go to immigration and show him that the exit stamp is there on passport but in system he is still showing inside country.
Scan passport copy first page and also the page where the exit stamp is there.