pholidosaurid

Noun

 * 1)  Any crocodylomorph reptile in the family.