reptiles Linnaeus 1758 [Laurin & Reisz 2020] see Class Reptilia Linnaeus, 1758 Genus †Petrolacosaurus Lane, 1945 1 †Petrolacosaurus kansensis Lane, 1945