El dinosaurio australiano "Agrosaurus macgillivrayi" es probablemente sinónimo con el "Thecodontosaurus antiquus".