Dicynodontoides

Dicynodontoides is an extinct genus of non-mammalian synapsid.