CoronelsuchusCoronelsuchus is an extinct genus of sphagesaurian crocodylomorph known from the Late Cretaceous Araçatuba Formation of Brazil. It contains a single species, Coronelsuchus civali.