Abstract: A replacement name for Camponotus (Karavaievia) hoelldobleri Dumpert, 2006, which is a junior primary homonym of Camponotus hoelldobleri Cagniant, 1991, is proposed: Camponotus (Karavaievia) khaosokensis nom.n.