[Reptilia] Linnaeus 1758 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Class Reptilia Linnaeus, 1758
   Clade Diapsida Osborn 1903 [Laurin 1991] see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
     Clade Eosuchia Broom 1914 [Laurin 1991]
       Clade Neodiapsida Benton 1985 [within unnamed taxon]
         [crown] Clade Sauria McCartney 1802 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Clade Sauria Macartney 1802 [Gauthier & de Queiroz 2020]
           Clade Archosauromorpha Huene 1946 [Benton 1985], nom. cl. inval. see Clade Archosauromorpha von Huene 1946 [Gauthier 2020]
             1 Genus †Prolacerta Parrington, 1935
             2.1 Genus †Hyperodapedon Huxley, 1859
             2.2 Genus †Trilophosaurus Case, 1928