Historical Rules · 18 June 2010
Rule 119.4
Official source text from the 18 June 2010 Rules release
A player who attempts to draw a card from an empty library loses the game the next time a player would receive priority. (This is a state-based action. See rule 704.)