Webster's Revised Unabridged Dictionary · 1913

Petrol

Petrol (pe*trōl) , noun

1.
Petroleum. [Archaic and Rare]
2.
Same as gasoline; -- British usage. [British]