La especificación de "Deinodon" de Cope para los dientes en forma de "D" de 1866 tiene prioridad, por lo que hace de "Aublysodon mirandus" un sinónimo objetivo junior de "Deinodon horridus".