En 1899 Oliver Perry Hay señaló el error de Cope; "Aublysodon horridus" es el sinónimo menor de "Deinodon horridus", de la misma manera que "Aublysodon mirandus" lo había sido.