This name is a synonym of Widdringtonia wallichii Endl. by Cupressaceae.
The record derives from WCSP which reports it as a synonym of Widdringtonia wallichii Endl. (record 378743)