No, they declared "Republic of Ireland" to be an official _description_, not the official name. The name is specified near the beginning of the constitution as

No, they declared "Republic of Ireland" to be an official _description_, not the official name. The name is specified near the beginning of the constitution as Éire, or in the English language, Ireland [1], in article 4, and would require an amendment to change. And while we do them way more often than the US does, we haven't done one for this topic. 1: https://www.gov.ie/en/publication/d5bd8c-constitution-of-ireland/ https://www.gov.ie/en/publication/d5bd8c-constitution-of-ire...