†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947 Genus †Nyctiphruretus Efremov, 1938 †Nyctiphruretus acudens Efremov, 1938