Yes, they have different rule. Here the rule that was apply in this case. Robredo " the next highest positioned player eligible to be seeded" took Federer's place, and a lucky loser took robredo's place source: atp rulebook http://www.atpworldtour.com/Corporate/Rulebook.aspx 7.20 E