diplocynodontid

Noun

 * 1) Any extinct crocodilian of the subfamily