What is "theledectes"

Theledectes is an extinct genus of theledectine procolophonid parareptile from middle Triassic (early Anisian stage) deposits of Free State Province, South Africa. It is known from the holotype BP/1/4585, a skull. It was collected by the South African palaeontologist, James W. Kitching from Hugoskop in the Rouxville District and referred to subzone B of the Cynognathus Assemblage Zone of the Burgersdorp Formation, Beaufort Group ( Karoo Basin). It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Theledectes perforatus. It was first assigned to a species of Thelegnathus (now considered to be a nomen dubium), Thelegnathus perforatus.