Debido a que el nombre "Aublysodon mirandus" estaba basado en el mismo tipo, fue en inicio el sinónimo menor objetivo de "Deinodon horridus", cuyo nombre tenía la prioridad.