I would have lent him my pump.
not everyone owns one or remembers to carry their own on every ride.