Petromus A. Smith, 1831 . S. Afr. Quart. J., 1 (5):10.

TYPE SPECIES: Petromus typicus A. Smith, 1831 .

SYNONYMS: Petromys .

COMMENTS: Originally named Petromus, but unjustifiably emended to Petromys by Smith (1834), see Swanepoel et al. (1980:161).