Phocosaurus

Phocosaurus is an extinct genus of tapinocephalian therapsid. It was found in the Capitanian sediments in the Abrahamskraal Formation of South Africa.