BTC withdraws from exchange using Replace-by-fee?

A friend asked me to take a look why his Bitcoin wasn't in his wallet yet. I looked at the transaction in a block explorer and it uses Replace-by-fee. Is this done in case the exchange reps make a mistake? Isn't it actually technically a double spend if they revoke the transaction?