Cteniosaurus

Cteniosaurus is an extinct genus of non-mammalian synapsid.