† Petraeianus Zhang, 1989

[1 species].

Type species Petraeianus ruderatus Zhang, 1989, by original designation.