For a user to be automatically added to an organization with domain mapping, they must have a verified email address.
If your customer is verified and still has not been added, you can update the user's profile. Open the users profile and make a small update to the user, for example, add a space after their name and then remove it. The organization will then be added to that user.
For more information, see Automatically adding users to organizations based on their email domain.