This name is a synonym of Gastridium ventricosum (Gouan) Schinz & Thell..
The record derives from WCSP
(data supplied on 2012-03-23)
which reports it as a synonym (record 390619) with original publication details: Hortus Monsp. 39 1762.
This name was in version 1 of The Plant List, record kew-390619, and has not been changed.