dicynodont

noun

1.
a kind of therapsid