Cerritosaurus

Cerritosaurus is a genus of proterochampsid archosauromorph from the Late Triassic. It has been found in the Santa Maria Formation, in the Geopark of Paleorrota, Brazil. It is represented by one species.
It was collected in 1941 by Antonio Binsfeld, in Sanga da Alemoa. Nearby, there is a small mountain called the Cerrito, after which the genus is named.