The correct name for the group of ants formerly known as Pseudomyrma (Hymenoptera).