Cope en 1868 erróneamente creyó que el nombre "Deinodon" ya había sido usado por la serpiente "Dinodon" y renombró a "Deinodon horridus" como "Aublysodon horridus".