Dinoderus (Dinoderus) piceolus Lesne, 1933

Fig. 14 (A, B)

Dinoderus piceolus Lesne, 1933: 259 .

Distribution in China. Hongkong (Borowski & Węgrzynowicz 2007).

Other distribution. The species is endemic to China.