Debido a que el nombre "Proterosuchus fergusi" tiene la prioridad, los otras especies han sido incluidas en "P.