reptiles Linnaeus 1758 [Laurin & Reisz 2020] see Class Reptilia Linnaeus, 1758 Pan-Archosauria Gauthier 2020 Crocopoda Ezcurra 2016 †Allokotosauria Nesbitt, Flynn, Pritchard, Parrish, Ranivoharimanana & Wyss 2015 Genus †Spinosuchus Huene, 1932 1 †Spinosuchus caseanus Huene, 1932