Sin embargo, aquel nombre también había sido asignado, con lo que, finalmente, se adoptó el nombre de "Anchisaurus" en 1885.