Luego lo consideró sinónimo de "Thecodontosaurus" y en 1932 se lo identificó bajo el nombre "Paleosaurus".