Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Dinomyrmex Ashmead, 1905 Camponotus Hildebrandi nom. null. see Camponotus hildebrandti Forel, 1886