Reptilia Linnaeus 1758 [Gauthier 1984], nom. cl. inval. see Clade Reptilia Linnaeus 1758 [Laurin & Reisz 2020]
   †Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947
     †Procolophonomorpha Romer, 1964 see Order Procolophonomorpha Romer, 1964
       †Ankyramorpha deBraga & Reisz 1996
         1 †Lanthanosuchia Tatarinov 1972 see Clade Lanthanosuchoidea Efremov 1946 [deBraga & Reisz 1996]
         2.1 Genus †Microleter Tsuji, Müller & Reisz, 2010
         2.2.1 †Nyctiphruretidae Efremov, 1938
         2.2.2.1 †Pareiasauromorpha Tsuji, Müller & Reisz 2012
         2.2.2.2 †Procolophonidae Lydekker, 1889