J'aimerais savoir si mon mari avait la double nationalité

Bonjour. Mon mari est décédé fin août. Il est né au Portugal de parents portugais, est arrivé très jeune en France et a pris la nationalité française après notre mariage (je suis française). J'ai des démarches administratives à faire dans son pays d'origine. J'ai fait une procuration à mon beau frère qui vit au Portugal. Je lui ai remis l'acte de décès mais cela a été refusé par les finances. Ils disent que mon mari a la double nationalité et que je dois donc déclarer notre mariage, nos deux enfants... Pouvez-vous me confirmer si c'est exact qu'il avait la double nationalité.