Journée de solidarité décompté pendant un congé paternité. Est-ce normal ?

Bonjour,
Mon conjoint était durant le mois de mai en congé paternité. La journée de solidarité de son entreprise était le lundi de Pentecôte et son employeur lui a décompté un jour de congé payé alors qu’il était en congé paternité.
Est-ce que cela est légal ? Car je ne pense pas que ça soit soit possible.
Merci d’avance de votre retour