what i mean he sent the funds via blockchain.info wallet
so how he can use Double spent Options so he can speed it up?
Export the private key, import it in another wallet, and send another transaction. I've only done it with Bitcoin Core. I'm not sure if you can do this with - say - Electrum, I don't know if Electrum would pick up on the existing transaction in mempool.
He can always try it. Needless to say: be careful with private keys!