Camponotus leonardi Em. var. grisea Karawajew, 1929c: 243, ww.

Current status: Camponotus leonardi griseus .

Type locality(-ies): “Depok bei Bujtenzorg, Java, 12.XII.1912 (Nr. 2351), Soldaten. – Tjampea bei Bujtenzorg, 20.XII.1912 (Nr. 2389), Soldaten und ww.—Bujtenzorg (Nr. 3851), ww”.

Original Karawajew label(-s): “ Camponotus (Colobopsis) / leonardi Em. v. grisea Kar. / Depok, Java, 12.XII.1912, 2351 / V. Karavaiev”.

Material: SYNTYPES, 8 w (newly mounted, IN 314/6/1), 22 w, 10 pupae (in alcohol, IN 314/ BAMS 1/ Karaw51).