Historical Rules · 27 September 2013
Rule 120.6a
Official source text from the 27 September 2013 Rules release
An effect that replaces a card draw is applied even if no cards could be drawn because there are no cards in the affected player's library.