Exodus 17:6

The rock in Horeb - (a rock situated, according to Arab tradition, in Wady Feiran. Horeb was a name given to the whole desert of Sinai and subsequently attached to the mountain. Palmer).

It is questioned whether the water thus supplied ceased with the immediate occasion; see 1 Corinthians 10:4, the general meaning of which appears to be that their wants were ever supplied from Him, of whom the rock was but a symbol, and who accompanied them in all their wanderings.